forked-from-1kasper

forked-from-1kasper

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
66 Stars
1 Forks
66 Watchers

Repositories (2)

ground_zero forked-from-1kasper/ground_zero Lean

Ground Zero: Lean 4 HoTT Library

56
leanbot rzrn/leanbot Lean

IRC-bot written in Lean (https://leanprover.github.io/)

10