Vybe Guide
Sign Up

Explore Projects

Discover 4 open source projects

Active filters (1):
Search: proof-assistant×
Clear all

Showing 1-4 of 4 projects

rocq-prover/rocq

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

5.4K
Active
OCaml
OCaml
#theorem-prover#proof-assistant#dependent-types

FStarLang/FStar

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K
Active
F*
Programming Language
API Frameworks
#dependent-types#smt#theorem-proving

agda/agda

Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.

2.8K
Active
Haskell
Programming Languages
API Frameworks
#agda#dependent-types#type-theory

plfa/plfa.github.io

An introduction to programming language theory and Agda, a dependently-typed functional programming language.

1.5K
Active
Agda
Tutorials & Courses
API Frameworks
#programming-languages#proof-assistant#functional-programming

Stay in the loop

Get weekly updates on trending AI coding tools and projects.