fgdorais

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/lean4-parser

Parser Combinator Library for Lean 4

fgdorais/lean4-unicode-basic

Basic Unicode support for Lean 4

fgdorais/extra4

Supplements to the Lean 4 Standard Library

fgdorais/GMLInit

GML Init Package

fgdorais/Mangle

Simple string obfuscation tool

fgdorais/lean-universal

Multi-sorted equational logic in Lean

fgdorais/lean4-ascii

fgdorais/SQUFOF

Shanks' square forms factorization algorithm

fgdorais/uniq

Implementation of the axiom of definite description for Lean.

fgdorais/aesop

White-box automation for Lean 4

fgdorais/fgdorais.github.io

GitHub Page

fgdorais/Archimedes

fgdorais/BasicHilbert

fgdorais/birkhoff

Formalization of equational logic in Lean

fgdorais/CSC

Countable Second Countable Spaces

fgdorais/fombook

Foundations of Mathematics

fgdorais/GMLAlgebra

GML Algebra Package

fgdorais/http

Basic HTTP definitions and parsing for Lean

fgdorais/lean

Lean Theorem Prover

fgdorais/lean-groupoids

first-order groupoids and tactics for the Lean Theorem Prover

fgdorais/lean4

Lean 4 programming language and theorem prover

fgdorais/LeanColls

WIP collections library for Lean 4

fgdorais/logic4

Logic Library for Lean 4

fgdorais/MarkovModel

Markov chain trainer and generator for text data

fgdorais/mathlib

Lean mathematical components library

fgdorais/old_birkhoff

fgdorais/std4

Standard Library for Lean 4

fgdorais/tup

A function-based implementation of tuples for Lean

fgdorais/Unicode.lean

Unicode stuff for Lean 4! ✌️

fgdorais/WPSE

Wieferich Prime Search Engine