• Raphael Cauderlier's avatar
    Dependent substitutions · c4c2eb6b
    Raphael Cauderlier authored
    A dependent substitution is a substitution from formulae to formulae
    that can act depend on the topmost universally quantified variables of
    the formula.  This is going to be useful for handling substitutions of
    clauses.
    c4c2eb6b
Name
Last commit
Last update
example Loading commit data...
fol Loading commit data...
meta Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.org Loading commit data...
configure Loading commit data...
manual.org Loading commit data...
opam Loading commit data...
version.txt Loading commit data...