Joachim Breitner
nomeata
No bio provided.
lean-stage0-audit
No description provided.
HTMLUpdated 6/9/2025
loogle
Mathlib search tool
LeanUpdated 6/8/2025
ghcjs2gh-pages
Example repository setup that deploys GHCJS programs to GitHub Pages
HaskellUpdated 6/6/2025
import-graph
Tool to analyse the import structure of lean projects.
LeanUpdated 6/5/2025
git-multisect
find git commits that matter
PythonUpdated 6/3/2025