All Git Users → fsestini

1 open source projects by fsestini

[ Open user page on Github ]

1. tt-in-cubical

Type Theory in Type Theory using Cubical Agda

✭ 12

Agda type-theory cubical-type-theory agda

1-1 of 1 user projects