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