Hacker News

news newest show ask jobs

azhenley

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

1 points 0 comments 6 hours ago

hn-front (c) 2024 voximity

source