Upload Code

The open-source library for

formally verified code

Showing 1665–1680 of 1,795
Sort by
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0026_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3368
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0019_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3367
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0018_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3366
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0017_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3365
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0012_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3364
Lean
View
Lean Verified ✓

Summary: Benchmark - LA0003_vericoded.lean

@5tingerror 15 lines Jun 17, 2026 ID: 3363
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0113_vericoded.dfy

@5tingerror 68 lines Jun 8, 2026 ID: 3362
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0112_vericoded.dfy

@5tingerror 133 lines Jun 8, 2026 ID: 3361
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0111_vericoded.dfy

@5tingerror 74 lines Jun 8, 2026 ID: 3360
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0110_vericoded.dfy

@5tingerror 46 lines Jun 8, 2026 ID: 3359
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0108_vericoded.dfy

@5tingerror 59 lines Jun 8, 2026 ID: 3358
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0107_vericoded.dfy

@5tingerror 77 lines Jun 8, 2026 ID: 3357
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0106_vericoded.dfy

@5tingerror 227 lines Jun 8, 2026 ID: 3356
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0105_vericoded.dfy

@5tingerror 49 lines Jun 8, 2026 ID: 3355
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0102_vericoded.dfy

@5tingerror 199 lines Jun 8, 2026 ID: 3354
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0101_vericoded.dfy

@5tingerror 81 lines Jun 8, 2026 ID: 3353