https://github.com/5ht/sheaf.space

Presheaf/Prestack Model of Type Theory
https://github.com/5ht/sheaf.space

Last synced: 2 days ago
JSON representation

Presheaf/Prestack Model of Type Theory

• Host: GitHub
• URL: https://github.com/5ht/sheaf.space
• Owner: 5HT
• Created: 2018-09-23T18:18:31.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-07T19:43:35.000Z (over 4 years ago)
• Last Synced: 2024-11-24T16:52:52.361Z (29 days ago)
• Language: HTML
• Homepage: https://sheaf.space
• Size: 63.5 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:

Awesome Lists containing this project