The open-source library for

formally verified code

Filter by Clear all

Dafny

Lean

Rust

Verus

Aeneas

Rocq

Isabelle

Metamath

RefinedC

Python

Kani

Algorithms

Blockchain

Privacy

Security

Math

Spec

Code

Proof

Spec+code

Atom

Molecule

Initial

Submitted

Processing

Approved

Rejected

Showing 1741–1741 of 1,741

Sort by

Repo Verified ✓

Summary: Curve Dalek

Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite

66 files Updated Sep 25, 2025 ID: 3150

Per page

The open-source library for formally verified code. Building trust through mathematical proof.

Useful Links