being bits and pieces I'm inclined to leave lying around
Agda
60
106 commits
updated Mar 11, 2026
106 commits
Agda
60.9%
Haskell
29.6%
TeX
8.1%
Rocq Prover
1.4%
being bits and pieces I'm inclined to leave lying around
Agda
60
106 commits
updated Mar 11, 2026
106 commits
Agda
60.9%
Haskell
29.6%
TeX
8.1%
Rocq Prover
1.4%