Explore Projects

Discover 1 open source projects

Active filters (1):

Search: univalent-foundations×

Showing 1-1 of 1 projects

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory, a foundational framework for mathematics and programming

1.4K

Active

Rocq Prover

Backend Frameworks

CLI Tools

#homotopy-type-theory#type-theory#univalent-foundations

Stay in the loop

Get weekly updates on trending AI coding tools and projects.