fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science
University of VermontBurlington, Vermont, USA
Pinned Repositories
extra4
Supplements to the Lean 4 Standard Library
fgdorais.github.io
GitHub Page
GMLInit
GML Init Package
lean-universal
Multi-sorted equational logic in Lean
lean4-ascii
lean4-parser
Parser Combinator Library for Lean 4
lean4-unicode-basic
Basic Unicode support for Lean 4
Mangle
Simple string obfuscation tool
SQUFOF
Shanks' square forms factorization algorithm
uniq
Implementation of the axiom of definite description for Lean.
fgdorais's Repositories
fgdorais/MarkovModel
Markov chain trainer and generator for text data
fgdorais/fombook
Foundations of Mathematics