• Jean-Christophe Filliâtre's avatar
    Coq tactic: · a76e2064
    Jean-Christophe Filliâtre authored
    - documentation
    - better error message when prover name is invalid
    - no shortcut tactic ae, Z3, etc. anymore
    a76e2064
power_Power_Power_sum_1.v 997 Bytes