The open-source library for

formally verified code

Showing 1666–1680 of 1,735
Sort by
Rust Locked
File Verified ✓

Summary: Benchmark - VA0146_vericoded.rs

Rust Locked
File Verified ✓

Summary: Benchmark - VA0136_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0084_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0133_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0083_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0129_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0082_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0127_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0079_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0126_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0078_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0123_vericoded.rs

Lean Locked
File Verified ✓

Summary: Benchmark - LA0074_vericoded.lean

Rust Locked
File Verified ✓

Summary: Benchmark - VA0119_vericoded.rs

Rust Locked
File Verified ✓

Summary: Benchmark - VA0117_vericoded.rs