Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 770

247,497 lines Updated Dec 5, 2024 ID: 770
Lean Locked
File

Summary: Lean code number 18

443 lines Updated Dec 5, 2024 ID: 805
Dafny Locked
File

Summary:

81 lines Updated Dec 5, 2024 ID: 782
Dafny Locked
Package

Summary: DafnyBench code number 759

Package: DafnyBench code number 759

15,747 lines Updated Jan 30, 2025 ID: 759
Lean Locked
File

Summary: Lean code number 5

279 lines Updated Dec 5, 2024 ID: 792
Dafny Locked
File

Summary: DafnyBench code number 769

796,261 lines Updated Dec 5, 2024 ID: 769
Dafny Locked
File

Summary: DafnyBench code number 781

25,911 lines Updated Dec 5, 2024 ID: 781
Dafny Locked
File

Summary: DafnyBench code number 758

790,531 lines Updated Dec 5, 2024 ID: 758
Lean Locked
File

Summary: Lean code number 17

7 lines Updated Dec 5, 2024 ID: 804
Lean Locked
File

Summary: Lean code number 15

388 lines Updated Dec 5, 2024 ID: 802
Dafny Locked
File

Summary: DafnyBench code number 768

244,603 lines Updated Dec 5, 2024 ID: 768
Lean Locked
File

Summary: Lean code number 4

21 lines Updated Dec 5, 2024 ID: 791
Dafny Locked
File

Summary: DafnyBench code number 780

802,901 lines Updated Dec 5, 2024 ID: 780
Dafny Locked
File

Summary: DafnyBench code number 757

978,969 lines Updated Dec 5, 2024 ID: 757
Lean Locked
File

Summary: Lean code number 16

25 lines Updated Dec 5, 2024 ID: 803
Load more Results