Geeks
fpvandoorn
/
LogicColloquiumTutorial
The Lean tutorial for Logic Colloquium 2023
Primary Language
Lean
Apache License 2.0
Apache-2.0
LogicColloquiumTutorial GitHub
Markdown
Readme
0
Issues
5
Stargazers
2
Watchers
Stargazers
hEzoooo
leonardopacheco
TU Wien
tigerneil
Center for Safe AGI
utensil
YiqiXu