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

(andrewhead.info)

1 points | by azhenley 11 hours ago ago

No comments yet.