• Dan Frumin's avatar
    Update the counter example · 299978e2
    Dan Frumin authored
    Thunk the FG/CG_increment functions at the point of initialization.
    This allows us to avoid the use of lamsubst.
    299978e2
Name
Last commit
Last update
docs Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
comments.org Loading commit data...