Joachim Breitner's repositories
incredible
The Incredible Proof Machine
inspection-testing
Inspection Testing for Haskell
screen-message
Very simple tool to display some text as large as possible
ghc-heap-view
Extract the heap representation of Haskell values and thunks
cabal-plan-bounds
Calculate Haskell dependency ranges from multiple build plans
haskell-bounds-bump-action
Create PR to bump Haskell dependency bounds
haskell-via-sokoban
A haskell tutorial using CodeWorld
haskell-candid
A candid library for Haskell
badminton-junkies
Badminton Junkies e.V. site
lean-simplc
Experimental local confluence checker for Lean simp lemmas
lean4-pr-releases
Automated releases from leanprover/lean4 PRs
batteries
Standard Library for Lean 4
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
lean4-ci-test
A copy of the lean4 repository to test changes to the repository and CI setup
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
readthedocs.org
The source code that powers readthedocs.org
theorem_proving_in_lean4
Theorem Proving in Lean 4