fgdorais

lean4-parser

Parser Combinator Library for Lean 4

lean4-unicode-basic

Basic Unicode support for Lean 4

extra4

Supplements to the Lean 4 Standard Library

GMLInit

GML Init Package

Mangle

Simple string obfuscation tool

lean-universal

Multi-sorted equational logic in Lean

lean4-ascii

SQUFOF

Shanks' square forms factorization algorithm

uniq

Implementation of the axiom of definite description for Lean.

aesop

White-box automation for Lean 4

fgdorais.github.io

GitHub Page

Archimedes

BasicHilbert

batteries

Standard Library for Lean 4

birkhoff

Formalization of equational logic in Lean

CSC

Countable Second Countable Spaces

fombook

Foundations of Mathematics

GMLAlgebra

GML Algebra Package

http

Basic HTTP definitions and parsing for Lean

lean

Lean Theorem Prover

lean-groupoids

first-order groupoids and tactics for the Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

LeanColls

WIP collections library for Lean 4

logic4

Logic Library for Lean 4

MarkovModel

Markov chain trainer and generator for text data

mathlib

Lean mathematical components library

old_birkhoff

tup

A function-based implementation of tuples for Lean

Unicode.lean

Unicode stuff for Lean 4! ✌️

WPSE

Wieferich Prime Search Engine