Rare find

qtt. Quantitative Type Theory implementation

github.com/LightAndLight/qtt
by @LightAndLight

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.