1 stories
andrewhead.info visit →
Stories 1 (0 evaluated) Avg HRCB ND
Avg SETL ND Avg Conf ND
Poster Karma 23,828 avg Submitters 1
1. QED in Context: An Observation Study of Proof Assistant Users [pdf] (andrewhead.info)
1 points by azhenley 2 days ago | 0 comments | skipped