-
-
-
-
-
-
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.
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
-
inspection-testing Public
Inspection Testing for Haskell
-
-
lean4lean Public
Forked from digama0/lean4leanLean 4 kernel / 'external checker' written in Lean 4
Lean UpdatedOct 1, 2024 -
lean-simplc Public
Experimental local confluence checker for Lean simp lemmas
-
c-utf8-valid Public
Forked from chansen/c-utf8-validSingle-header UTF-8 validation routines for C
C UpdatedAug 21, 2024 -
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedAug 5, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
batteries Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedJul 5, 2024 -
iCalendar Public
Forked from chrra/iCalendariCalendar data types, parser, and printer.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 1, 2024 -
-
haskell-candid Public
A candid library for Haskell
-
-
leansat Public
Forked from leanprover/leansatThis package provides an interface and foundation for verified SAT reasoning
Lean Apache License 2.0 UpdatedJun 3, 2024 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedMay 15, 2024 -
-
lean4-ci-test Public
Forked from leanprover/lean4-ci-testA copy of the lean4 repository to test changes to the repository and CI setup
Lean Apache License 2.0 UpdatedMay 11, 2024 -
cabal-plan-bounds Public
Calculate Haskell dependency ranges from multiple build plans
-
arbtt Public
arbtt, the automatic rule-based time-tracker
-
-
haskell-via-sokoban Public
A haskell tutorial using CodeWorld
{{ message }}