The open-source library for

formally verified code

Showing 1531–1545 of 1,737
Sort by
Lean Locked
File Verified ✓

Summary: Benchmark - LA0044_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0041_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0040_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0039_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0036_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0034_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0033_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0030_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0026_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0019_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0018_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0017_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0012_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0252_vericoded.lean

Lean Locked
File Verified ✓

Summary: Benchmark - LA0249_vericoded.lean