baifdemoa

@baifdemoa

1,420 repositories

Showing 1185–1200 of 1,420
Sort by
Rust
Verus

Summary: Benchmark - VJ0170_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0500_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VA0661_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0567_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0733_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0134_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VA0570_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0313_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0574_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VH0072_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LT0423_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0250_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0639_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VD0800_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VV0061_vericoded.rs

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

Lean
Lean

Summary: Benchmark - LT0020_vericoded.lean

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