fgdorais Goto Github PK

aesop

White-box automation for Lean 4

archimedes

basichilbert

batteries

Standard Library for Lean 4

birkhoff

Formalization of equational logic in Lean

csc

Countable Second Countable Spaces

extra4

Supplements to the Lean 4 Standard Library

fgdorais.github.io

GitHub Page

fombook

Foundations of Mathematics

gmlalgebra

GML Algebra Package

gmlinit

GML Init 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

lean-universal

Multi-sorted equational logic in Lean

lean4

Lean 4 programming language and theorem prover

lean4-ascii

lean4-generic-views

Generic Views for Lean 4

lean4-parser

Parser Combinator Library for Lean 4

lean4-unicode-basic

Basic Unicode support for Lean 4

leancolls

WIP collections library for Lean 4

logic4

Logic Library for Lean 4

mangle

Simple string obfuscation tool

markovmodel

Markov chain trainer and generator for text data

mathlib

Lean mathematical components library

old_birkhoff

squfof

Shanks' square forms factorization algorithm

tup

A function-based implementation of tuples for Lean

unicode.lean

Unicode stuff for Lean 4! ✌️

uniq

Implementation of the axiom of definite description for Lean.