baifdemoa

@baifdemoa

1,426 repositories

Showing 97–112 of 1,426
Sort by
Lean
Lean Verified ✓

Summary: Benchmark - LJ0019_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0066_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VA0453_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VT0405_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0141_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VJ0028_vericoded.rs

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

Rust
Aeneas Verified ✓

Summary: curve25519-dalek-lean-verify — certified snapshot

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

Lean
Lean Verified ✓

Summary: Benchmark - LV0173_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0166_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LD0013_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VD0669_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VV0172_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LJ0127_vericoded.lean

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

Rust
Verus

Summary: Benchmark - VT0097_vericoded.rs

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

Rust
Verus

Summary: Benchmark - VD0367_vericoded.rs

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

Lean
Lean Verified ✓

Summary: Benchmark - LA0431_vericoded.lean

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