Upload Code

The open-source library for

formally verified code

Showing 1761–1764 of 1,764
Sort by
Dafny
View
Dafny

Summary: Formally verifying succinct non-interactive arguments of knowledge

Repo: https://github.com/Verified-zkEVM/ArkLib

@zhangliao714 323 files Jun 8, 2026 ID: 5198
Lean
View
Lean

Summary: Formally verifying succinct non-interactive arguments of knowledge

Repo: https://github.com/Verified-zkEVM/ArkLib

@zhangliao714 323 files Jun 8, 2026 ID: 5199
Lean
View
Lean Verified ✓

Summary: lean-zip

Repo: https://github.com/kim-em/lean-zip

@baifdemoa 1365 files Jun 8, 2026 ID: 5207
Rust
View
Verus

Summary: dalek-verusTestSofia

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

@baifdemoa 142 files Jun 8, 2026 ID: 5211