Summary: DafnyySofiaNov26

Dafny 2176 lines

ID: 81373

Type: 📄

Verified: ✅

Package: DafnyySofiaNov26

Published: 02/26/2026

Download Code View Code Edit Code

Summary: Libsignal

Rust 1489 files

ID: 103332

Type: 🗄️

Verified: ❌

Repo: https://github.com/signalapp/libsignal/

Published: 02/25/2026

Download Code View Code Edit Code

Summary: Dalek Lite

Dafny 127 files

ID: 81642

Type: 🗄️

Verified: ✅

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

Published: 02/24/2026

Download Code View Code Edit Code

Summary: Verus CLI Armin Test

Rust 444 files

ID: 98724

Type: 🗄️

Verified: ❌

Repo: https://github.com/avrevic/dalek-lite-fork

Published: 02/23/2026

Download Code View Code Edit Code

Summary: Oliver Bignum

Lean 15 files

ID: 81843

Type: 🗄️

Verified: ❌

Repo: https://github.com/oliver-butterley/BigNum

Published: 12/02/2025

Download Code View Code Edit Code

Summary: TreuRust_Sofia

Rust 2 files

ID: 81828

Type: 🗄️

Verified: ❌

Repo: https://github.com/sofia-lanfri/test_true/tree/main/src

Published: 12/01/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0181_vericoded.lean

Lean 3 files

ID: 76047

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0180_vericoded.lean

Lean 3 files

ID: 76044

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0178_vericoded.lean

Lean 3 files

ID: 76041

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0176_vericoded.lean

Lean 3 files

ID: 76038

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0174_vericoded.lean

Lean 3 files

ID: 76035

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0173_vericoded.lean

Lean 3 files

ID: 76032

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0172_vericoded.lean

Lean 3 files

ID: 76029

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0171_vericoded.lean

Lean 3 files

ID: 76026

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code

Summary: Benchmark - LV0168_vericoded.lean

Lean 3 files

ID: 76023

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Published: 11/19/2025

Download Code View Code Edit Code