baifdemoa

@baifdemoa

1,431 repositories

Showing 1297–1312 of 1,431
Sort by
Rust
Verus

Summary: Benchmark - VJ0152_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0452_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VA0625_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0528_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0674_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0113_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VA0532_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0288_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0466_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VH0011_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LT0189_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0221_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VD0768_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0602_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VV0008_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LS0039_vericoded.lean

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