QED in Context: An Observation Study of Proof Assistant Users [pdf]

(andrewhead.info) by azhenley | Feb 28, 2026 | 0 comments on HN