baifdemoa

@baifdemoa

1,432 repositories

Showing 977–992 of 1,432
Sort by
Rust
Verus

Summary: Benchmark - VD0771_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VV0029_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LS0040_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VS0023_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0526_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0586_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VD0003_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0764_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0148_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VA0614_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0330_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0665_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VH0110_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0283_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LV0059_vericoded.lean

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0659_vericoded.lean

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