https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: f6e87e6722c71496049ae6c1f7ea3bb9193b2cfd authored by Gregory Malecha on 17 October 2018, 15:14:32 UTC
fixing bug in the state monad.
Tip revision: f6e87e6
File Mode Size
examples
scratch
theories
tools
.gitignore -rw-r--r-- 159 bytes
LICENSE -rw-r--r-- 1.5 KB
Makefile -rw-r--r-- 485 bytes
README.md -rw-r--r-- 1.6 KB
_CoqProject -rw-r--r-- 3.2 KB

README.md

back to top