Upload Code

The open-source library for

formally verified code

Showing 2781 results
Sort by
Rocq Locked
File

Summary: Coq code number 185

16 lines Updated Dec 5, 2024 ID: 1958
Rocq Locked
File

Summary: Coq code number 206

848 lines Updated Dec 5, 2024 ID: 1979
Rocq Locked
File

Summary: Coq code number 195

157 lines Updated Dec 5, 2024 ID: 1968
Rocq Locked
File

Summary: Coq code number 172

22 lines Updated Dec 5, 2024 ID: 1945
Rocq Locked
File

Summary: Coq code number 207

399 lines Updated Dec 5, 2024 ID: 1980
Rocq Locked
File

Summary: Coq code number 184

176 lines Updated Dec 5, 2024 ID: 1957
Rocq Locked
File

Summary: Coq code number 205

68 lines Updated Dec 5, 2024 ID: 1978
Rocq Locked
File

Summary: Coq code number 148

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

Summary: Coq code number 160

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

Summary: Coq code number 137

963 lines Updated Dec 5, 2024 ID: 1910
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
Load more Results