Name: François G. Dorais
Type: User
Company: University of Vermont
Bio: Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science
Location: Burlington, Vermont, USA
Blog: https://dorais.org/
François G. Dorais's Projects
White-box automation for Lean 4
Standard Library for Lean 4
A simple command-line bibtex query utility written in Lean 4
Formalization of equational logic in Lean
Countable Second Countable Spaces
Supplements to the Lean 4 Standard Library
GitHub Page
Foundations of Mathematics
GML Algebra Package
GML Init Package
Basic HTTP definitions and parsing for Lean
Lean Theorem Prover
first-order groupoids and tactics for the Lean Theorem Prover
Multi-sorted equational logic in Lean
Lean 4 programming language and theorem prover
Generic Views for Lean 4
Parser Combinator Library for Lean 4
Basic Unicode support for Lean 4
WIP collections library for Lean 4
Logic Library for Lean 4
Simple string obfuscation tool
Markov chain trainer and generator for text data
Lean mathematical components library
Shanks' square forms factorization algorithm
A function-based implementation of tuples for Lean
Unicode stuff for Lean 4! ✌️