The open-source library for

formally verified code

Showing 871–885 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0790_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0759_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0787_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0786_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0780_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0758_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0779_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0777_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0755_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0776_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0773_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0754_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0772_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0771_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0768_vericoded.rs

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