Bedrock Institute
Agentic formal mathematics
Pinned Loading
Repositories
Showing 2 of 2 repositories
- QIITOrd Public
QIIT Brouwer-tree ordinals in Cubical Agda, with a recursive computing order defined without {-# TERMINATING #-}
BedrockInstitute/QIITOrd’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…