Popular repositories Loading

1. SimplicialGroups_Public SimplicialGroups_Public Public

   Code that empirically shows that some simplicial groups are Kan complexes.

   Haskell

2. cubical cubical Public

   Forked from agda/cubical

   An experimental library for Cubical Agda

   Agda

3. FormalizationSSD FormalizationSSD Public

   Agda 2

4. AutoFormalizationSetup AutoFormalizationSetup Public

   The setup for the virtual box in which we run claude

   Agda