baifdemoa

@baifdemoa

1,432 repositories

Showing 241–256 of 1,432
Sort by
Rust
Verus

Summary: Benchmark - VT0099_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0668_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VV0095_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VD0425_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LJ0066_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0036_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0352_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VD0094_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0466_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LJ0014_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0062_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VA0429_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0391_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0129_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0025_vericoded.rs

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

Rust
Aeneas Verified ✓

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify