The open-source library for

formally verified code

Showing 856–870 of 1,738
Sort by
Rust Locked
Repo

Summary: Benchmark - VD0844_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0768_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0843_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0807_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0805_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0764_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0804_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0801_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0800_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0762_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0799_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0797_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0760_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VD0796_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VD0791_vericoded.rs

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