1 result found Sort:

rocq-archive
coq-serapi rocq-archive
40
128
other
14
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq json sexp protocol serialization proof-assistant machine-learning-api
Created 2016-05-26
1,100 commits to main branch, last one about a month ago