Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 138

1,091 lines Updated Dec 5, 2024 ID: 1911
Rocq Locked
File

Summary: Coq code number 161

678 lines Updated Dec 5, 2024 ID: 1934
Rocq Locked
File

Summary: Coq code number 125

19 lines Updated Dec 5, 2024 ID: 1898
Rocq Locked
File

Summary: Coq code number 106

102 lines Updated Dec 5, 2024 ID: 1879
Rocq Locked
File

Summary: Coq code number 114

428 lines Updated Dec 5, 2024 ID: 1887
Rocq Locked
File

Summary: Coq code number 95

275 lines Updated Dec 5, 2024 ID: 1868
Rocq Locked
File

Summary: Coq code number 84

619 lines Updated Dec 5, 2024 ID: 1857
Rocq Locked
File

Summary: Coq code number 105

19 lines Updated Dec 5, 2024 ID: 1878
Rocq Locked
File

Summary: Coq code number 124

446 lines Updated Dec 5, 2024 ID: 1897
Rocq Locked
File

Summary: Coq code number 113

11 lines Updated Dec 5, 2024 ID: 1886
Rocq Locked
File

Summary: Coq code number 94

28 lines Updated Dec 5, 2024 ID: 1867
Rocq Locked
File

Summary: Coq code number 104

806 lines Updated Dec 5, 2024 ID: 1877
Rocq Locked
File

Summary: Coq code number 123

538 lines Updated Dec 5, 2024 ID: 1896
Rocq Locked
File

Summary: Coq code number 112

17 lines Updated Dec 5, 2024 ID: 1885
Rocq Locked
File

Summary: Coq code number 93

41 lines Updated Dec 5, 2024 ID: 1866
Load more Results