Pinned Loading

1. BedrockInstitute/Bedrock BedrockInstitute/Bedrock Public

   Mechanizing the metaphysics of V

   Python 1

2. BedrockInstitute/QIITOrd BedrockInstitute/QIITOrd Public

   QIIT Brouwer-tree ordinals in Cubical Agda, with a recursive computing order defined without {-# TERMINATING #-}

   Makefile 1

3. agda-googology agda-googology Public

   formalized googology in agda

   CSS 3

4. agda-veblen agda-veblen Public

   veblen function in agda

   Agda 5