-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJun 20, 2025 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedJun 17, 2025 -
-
inspection-testing Public
Inspection Testing for Haskell
-
-
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 -
-
-
-
-
-
8000
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
-
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell MIT License UpdatedFeb 12, 2025 -
md4lean Public
Forked from acmepjz/md4leana Lean wrapper for the MD4C Markdown parser
-
haskell-via-sokoban Public
A haskell tutorial using CodeWorld
-
-
-
-
screen-message Public
Very simple tool to display some text as large as possible
-
-
haskell-rec-def Public
APIs for more recursive definitions
-
lean-egg Public
Forked from marcusrossel/lean-eggA (WIP) equality saturation tactic for Lean based on egg.
{{ message }}