-
duality Public
Duality theory in linear optimization and its extensions
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 12, 2025 -
chomsky Public
Port https://github.com/madvorak/grammars/ to Lean 4
-
vcsp Public
General-Valued Constraint Satisfaction Problems
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
Lean Apache License 2.0 UpdatedDec 5, 2025 -
lean3-tactic-lean4 Public
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
-
Simple Public
Forked from SeaOfNodes/SimpleA Simple showcase for the Sea-of-Nodes compiler IR
Java Apache License 2.0 UpdatedSep 26, 2025 -
-
seymour Public
Forked from Ivan-Sergeyev/seymourTowards a formally-verified Seymour's decomposition theorem for regular matroids
Lean Apache License 2.0 UpdatedSep 5, 2025 -
infinite-automata Public
Forked from ctchou/AutomataTheoryAutomata theory in Lean
Lean Apache License 2.0 UpdatedAug 19, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 4, 2025 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedJul 28, 2025 -
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedJul 6, 2025 -
lean4-tactics Public
Overview of tactics in Lean 4 for beginners — longer version
-
lean-tactic-programming-guide Public
Forked from mirefek/lean-tactic-programming-guideBeginner's guide to Tactic Programming in Lean
Lean UpdatedJun 22, 2025 -
-
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedJun 21, 2025 -
-
-
vscode-lean4-colors Public
My color settings for Lean 4 in VS Code
-
formalisms Public
Supplementary material for Formalisms Every Computer Scientist Should Know 2024 (course at ISTA)
-
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedFeb 18, 2025 -
-
magma-talk Public
Short presentation about https://teorth.github.io/equational_theories/
TeX The Unlicense UpdatedJan 28, 2025 -
-
lean4web Public
Forked from leanprover-community/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedJan 2, 2025 -
-
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedDec 20, 2024 -
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedDec 6, 2024
{{ message }}