Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 162

337 lines Updated Dec 5, 2024 ID: 1935
Rocq Locked
File

Summary: Coq code number 139

83 lines Updated Dec 5, 2024 ID: 1912
Rocq Locked
File

Summary: Coq code number 149

88 lines Updated Dec 5, 2024 ID: 1922
Rocq Locked
File

Summary: Coq code number 126

8 lines Updated Dec 5, 2024 ID: 1899
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 148

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

Summary: Coq code number 137

963 lines Updated Dec 5, 2024 ID: 1910
Rocq Locked
File

Summary: Coq code number 160

476 lines Updated Dec 5, 2024 ID: 1933
Rocq Locked
File

Summary: Coq code number 147

97 lines Updated Dec 5, 2024 ID: 1920
Rocq Locked
File

Summary: Coq code number 159

88 lines Updated Dec 5, 2024 ID: 1932
Rocq Locked
File

Summary: Coq code number 136

151 lines Updated Dec 5, 2024 ID: 1909
Rocq Locked
File

Summary: Coq code number 146

1,773 lines Updated Dec 5, 2024 ID: 1919
Rocq Locked
File

Summary: Coq code number 158

152 lines Updated Dec 5, 2024 ID: 1931
Rocq Locked
File

Summary: Coq code number 135

4 lines Updated Dec 5, 2024 ID: 1908
Load more Results