Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Dafny Locked
File

Summary: DafnyBench code number 15

174,010 lines Updated Dec 5, 2024 ID: 16
Dafny Locked
File

Summary: DafnyBench code number 4

774,341 lines Updated Dec 5, 2024 ID: 5
Dafny Locked
File

Summary: DafnyBench code number 27

797,717 lines Updated Dec 5, 2024 ID: 28
Dafny Locked
File

Summary: DafnyBench code number 37

298,349 lines Updated Dec 5, 2024 ID: 38
Dafny Locked
File

Summary: DafnyBench code number 14

768,463 lines Updated Dec 5, 2024 ID: 15
Dafny Locked
File

Summary: DafnyBench code number 26

441,593 lines Updated Dec 5, 2024 ID: 27
Dafny Locked
File

Summary: DafnyBench code number 3

895,647 lines Updated Dec 5, 2024 ID: 4
Dafny Locked
File

Summary: DafnyBench code number 24

747,384 lines Updated Dec 5, 2024 ID: 25
Dafny Locked
File

Summary: DafnyBench code number 36

726,816 lines Updated Dec 5, 2024 ID: 37
Dafny Locked
File

Summary: DafnyBench code number 13

556,101 lines Updated Dec 5, 2024 ID: 14
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
Load more Results