Vybe Guide
Sign Up

Explore Projects

Discover 6 open source projects

Active filters (1):
Search: theorem-proving×
Clear all

Showing 1-6 of 6 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

leanprover/lean3

Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.

2.2K
Archived
C++
CLI Tools
API Frameworks
#theorem-proving#type-theory#verification

leanprover-community/mathlib3

A formal mathematics library for the Lean theorem prover, focused on building verified proofs.

1.7K
Archived
Lean
IDE Extensions
Tutorials & Courses
#formal-mathematics#theorem-proving#proof-automation

lean-dojo/LeanCopilot

LeanCopilot is a C++ library that uses large language models (LLMs) as copilots for theorem proving in the Lean programming language.

1.2K
Active
C++
LLM Frameworks
API Frameworks
#formal-mathematics#lean#theorem-proving

CakeML/cakeml

A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.

1.1K
Active
Standard ML
Compilers
Formal Verification
#compiler#formal-semantics#formal-verification

Stay in the loop

Get weekly updates on trending AI coding tools and projects.