https://github.com/RedPRL/stagedtt

🪆 A Staged Type Theory
https://github.com/RedPRL/stagedtt

Last synced: 3 months ago
JSON representation

🪆 A Staged Type Theory

• Host: GitHub
• URL: https://github.com/RedPRL/stagedtt
• Owner: RedPRL
• License: apache-2.0
• Created: 2022-05-12T23:26:50.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-09-04T14:57:39.000Z (about 1 year ago)
• Last Synced: 2024-05-31T11:38:25.026Z (6 months ago)
• Language: OCaml
• Size: 137 KB
• Stars: 34
• Watchers: 4
• Forks: 1
• Open Issues: 4

Awesome Lists containing this project