The open-source library for formally verified code
Dafny
Lean
Rocq
Isabelle
Metamath
Rust
RefinedC
Python
Kani
Verus
Package
File
Repo
initial
submitted
processing
approved
rejected
No ratings
Summary: Curve Dalek
Rust 66 files
ID: 63156
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite
Published: 09/25/2025