Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 25

136,749 lines Updated Dec 5, 2024 ID: 26
Dafny Locked
File

Summary: DafnyBench code number 2

234,631 lines Updated Dec 5, 2024 ID: 3
Dafny Locked
File

Summary: DafnyBench code number 23

200,057 lines Updated Dec 5, 2024 ID: 24
Dafny Locked
File

Summary: DafnyBench code number 35

778,577 lines Updated Dec 5, 2024 ID: 36
Dafny Locked
File

Summary: DafnyBench code number 12

337,347 lines Updated Dec 5, 2024 ID: 13
Dafny Locked
File

Summary: DafnyBench code number 1

425,835 lines Updated Dec 5, 2024 ID: 2