Explore Projects
Discover 10 open source projects
Showing 1-10 of 10 projects
unionlabs/union
Zero-knowledge bridging protocol for blockchain interoperability and DeFi
Z3Prover/z3
The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.
leanprover/lean4
Lean 4 is a programming language and theorem prover for building verified software.
rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
leanprover/lean3
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
leanprover-community/mathlib3
A formal mathematics library for the Lean theorem prover, focused on building verified proofs.
cvc5/cvc5
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
deepseek-ai/DeepSeek-Prover-V2
This is a developer discovery platform focused on vibe coders (AI-powered developers)
Stay in the loop
Get weekly updates on trending AI coding tools and projects.