issues
search
impermeable
/
coq-waterproof
GNU Lesser General Public License v3.0
29
stars
9
forks
source link
Dev
#4
Closed
jellooo038
closed
2 years ago
jellooo038
commented
2 years ago
Updated tactic syntax such that labeling of propositions is optional.
Automatically manipulate negations.
Decidability based on loaded databases.