Geeks
lurk-lab
/
straume
State-of-the-art streams for Lean 4
Primary Language
Lean
MIT License
MIT
straume GitHub
Markdown
Readme
6
Issues
5
Stargazers
4
Watchers
Watchers
gabriel-barrett
johnchandlerburnham
Argument Computer Corporation
mpenciak
Lurk Lab