Explore projects
-
An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
-
An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)
Updated -
Updated
-
-
-
-
-
Updated
-
-
Updated
-
This project hopes to gather bibliographic sources regarding weak memory.
Updated -
-
-
-
-
-
-