Geeks
Vtec234
/
lean4-seq
Equality types for type families
Primary Language
Lean
lean4-seq GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
Vtec234
Pittsburgh, USA