The open-source library for

formally verified code

Showing 781–795 of 1,738
Sort by
Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0858_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0003_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0002_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0856_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VJ0001_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VJ0000_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0855_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VH0163_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VH0156_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0843_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VH0150_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VH0140_vericoded.rs

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

Lean Locked
Repo Verified ✓

Summary: Benchmark - LD0840_vericoded.lean

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

Rust Locked
Repo

Summary: Benchmark - VH0138_vericoded.rs

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

Rust Locked
Repo

Summary: Benchmark - VH0136_vericoded.rs

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