The open-source library for

formally verified code

Showing 721–735 of 1,737
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0032_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0050_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0049_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0031_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0048_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0047_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0046_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0028_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0045_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0044_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0027_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0043_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0042_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LJ0025_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0041_vericoded.rs

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