• Jean-Christophe Filliatre's avatar
    coercions · db0d6501
    Jean-Christophe Filliatre authored
    a slightly different representation of coercions
    (using trees instead of lists)
    bench files for coercions
    db0d6501
Name
Last commit
Last update
..
coq-tactic Loading commit data...
encoding Loading commit data...
invalid Loading commit data...
plugins Loading commit data...
programs Loading commit data...
typing Loading commit data...
valid Loading commit data...
bench Loading commit data...
true_goal.why Loading commit data...