Geeks
FormalizedFormalLogic
/
Foundation
Formalization of Mathematical Logic
Primary Language
Lean
Apache License 2.0
Apache-2.0
Foundation Home Page
Foundation GitHub
Markdown
Readme
64
Issues
110
Stargazers
7
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
deepimpactmir
fpfu
iehality
Tohoku University
pogin503
Japan
SnO2WMaN
チルノのパーフェクトさんすう教室
SteffenReith
Germany