Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: Armin Test #99

1 lines Updated Dec 5, 2024 ID: 784
Dafny Locked
File

Summary: DafnyBench code number 761

488,471 lines Updated Dec 5, 2024 ID: 761
Lean Locked
File

Summary: Lean code number 7

710 lines Updated Dec 5, 2024 ID: 794
Dafny Locked
File

Summary: DafnyBench code number 771

848,702 lines Updated Dec 5, 2024 ID: 771
Lean Locked
File

Summary: Lean code number 19

8 lines Updated Dec 5, 2024 ID: 806
Dafny Locked
File

Summary: Armin Test #2

81 lines Updated Dec 5, 2024 ID: 783
Dafny Locked
File

Summary: DafnyBench code number 760

707,143 lines Updated Dec 5, 2024 ID: 760
Lean Locked
File

Summary: Lean code number 6

3 lines Updated Dec 5, 2024 ID: 793
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
Lean Locked
File

Summary: Lean code number 17

7 lines Updated Dec 5, 2024 ID: 804
Load more Results