Burlington, Vermont, USA

François G. Dorais

Advanced
@fgdorais

Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

dorais.org/

lean4-parser. Parser Combinator Library for Lean 4

85

lean4-unicode-basic. Basic Unicode support for Lean 4

16

extra4. Supplements to the Lean 4 Standard Library

4

GMLInit. GML Init Package

3

algebra4. Algebra library for Lean 4

2

lean4-automata. Lean

2

logic4. Logic Library for Lean 4

2

Mangle. Simple string obfuscation tool

2

lean-groupoids. first-order groupoids and tactics for the Lean Theorem Prover

1

lean-universal. Multi-sorted equational logic in Lean

1

Math2055Lean. Lean Package for MATH 2055

1

lean4-ascii. Lean

1

uniq. Implementation of the axiom of definite description for Lean.

1

SQUFOF. Shanks' square forms factorization algorithm

1
14
Apply