https://github.com/digama0/lean-type-theory

LaTeX code for a paper on lean's type theory
https://github.com/digama0/lean-type-theory

Last synced: 7 days ago
JSON representation

LaTeX code for a paper on lean's type theory

• Host: GitHub
• URL: https://github.com/digama0/lean-type-theory
• Owner: digama0
• Created: 2018-03-17T03:13:35.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-08-02T22:03:30.000Z (over 2 years ago)
• Last Synced: 2024-08-09T02:15:39.682Z (3 months ago)
• Language: TeX
• Size: 154 KB
• Stars: 112
• Watchers: 6
• Forks: 4
• Open Issues: 1
• Metadata Files:

Awesome Lists containing this project