Geeks
marcusrossel
/
stlc
A formalization of STLC and some standard properties.
Primary Language
Lean
stlc GitHub
Markdown
Readme
1
Issue
0
Stargazers
1
Watcher
Issues
Open issue
Normalization
#1 opened
7 months ago
by
marcusrossel
0