Explore Projects

Discover 3 open source projects

Active filters (1):

Search: coq×

Showing 1-3 of 3 projects

An interactive theorem prover for writing and verifying mathematical definitions and algorithms.

5.4K

Active

OCaml

#theorem-prover#proof-assistant#dependent-types

Fast nvim completion with SQLite and concurrent scheduler

3.8K

Active

Python

AI-powered coding assistants

#completion#neovim#optimization

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

Get weekly updates on trending AI coding tools and projects.