• Dan Frumin's avatar
    Strengthen some rules. · 9105d328
    Dan Frumin authored
    This commits makes some λMC rules atomic, in the sense that the user
    can use the shared resources for the duration of the rule.
    9105d328
Name
Last commit
Last update
theories Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
awk.Makefile Loading commit data...
opam Loading commit data...