coq
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Calling extractable side-effect ocaml functions in Coq |
|
1 | 376 | December 30, 2023 |
| Automatically generating Coq/Gallina code |
|
3 | 428 | December 27, 2023 |
| Install C headers for C library |
|
2 | 442 | November 13, 2023 |
| [ job | internship] Software Engineer Position at beNEXT.io |
|
0 | 1285 | March 3, 2022 |
| Experimental OCaml backend for Agda |
|
0 | 1012 | November 6, 2018 |
| Which language to use for general programming with dependent types? |
|
22 | 8022 | September 7, 2018 |