François G. Dorais

icon indicating a website link https://dorais.org/

icon company University of Vermont icon location Burlington, Vermont, USA icon location Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

Results 1 repositories owned by François G. Dorais

lean4-parser

63
Stars
6
Forks
63
Watchers

Parser Combinator Library for Lean 4

verified publisher icon fgdorais