Items where authors include "Avigad, J."

Article

Avigad, J. orcid.org/0000-0003-1275-315X, Blanchette, J.C., Klein, G. et al. (3 more authors) (2018) Introduction to milestones in interactive theorem proving. Journal of Automated Reasoning, 61 (1-4). pp. 1-8. ISSN 0168-7433