-
zero-to-qed Public
Forked from sdiehl/zero-to-qedFrom Zero to QED: An informal introduction to formality with Lean 4
Lean MIT License UpdatedDec 23, 2025 -
screen-message Public
Very simple tool to display some text as large as possible
-
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedDec 16, 2025 -
-
-
-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 21, 2025 -
-
-
cabal-plan-bounds Public
Calculate Haskell dependency ranges from multiple build plans
-
inspection-testing Public
Inspection Testing for Haskell
-
-
lean4checker Public
Forked from leanprover/lean4checkerReplay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Lean Apache License 2.0 UpdatedSep 23, 2025 -
ic-certification Public
Motoko library for all things related to certification
-
-
udp-broadcast-relay Public
Small daemon to relay udp broadcast packages on a different subnet.
-
-
pybotbrain Public
Learn programming with Python and Telegram
-
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJun 26, 2025 -
-
import-graph Public
Forked from leanprover-community/import-graphTool to analyse the import structure of lean projects.
Lean Apache License 2.0 UpdatedJun 5, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
free-theorems-static-webui Public
A browser-only web interface to the free-theorems library
-
haskell-candid Public
A candid library for Haskell
-
reference-manual Public
Forked from leanprover/reference-manualJavaScript Apache License 2.0 UpdatedApr 13, 2025 -
-
{{ message }}