Geeks
Happyves
/
BerLean_Workshop
Repo for the first BerLean workshop.
Primary Language
Lean
Apache License 2.0
Apache-2.0
BerLean_Workshop GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Stargazers
mo271
Google Research
nicolas-alexander-weiss
ramified
utensil