Upload Code
Home / 5tingerror

5tingerror

@5tingerror

311 repositories

Showing 305–311 of 311
Sort by
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0005_vericoded.dfy

@5tingerror 82 lines Jun 8, 2026 ID: 3257
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0004_vericoded.dfy

@5tingerror 34 lines Jun 8, 2026 ID: 3256
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0003_vericoded.dfy

@5tingerror 38 lines Jun 8, 2026 ID: 3255
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0002_vericoded.dfy

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

Summary: Benchmark - DA0001_vericoded.dfy

@5tingerror 72 lines Jun 8, 2026 ID: 3253
Dafny
View
Dafny Verified ✓

Summary: Benchmark - DA0000_vericoded.dfy

@5tingerror 120 lines Jun 8, 2026 ID: 3252
Lean
View
Lean Verified ✓

Summary: Oliver Bignum

Repo: https://github.com/oliver-butterley/BigNum

@5tingerror 15 files Jun 17, 2026 ID: 3250