The open-source library for

formally verified code

Showing 1216–1230 of 1,737
Sort by
Rust Locked
Repo

Summary: Benchmark - VA0412_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0052_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VA0411_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VA0410_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0048_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VA0409_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VA0405_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0044_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VA0403_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VA0402_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0042_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VA0399_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VA0398_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VA0383_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0013_vericoded.lean

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