search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.68k stars 231 forks source link

Tactics: nit in compare_term to get better order, termination proof trickier #3324

Closed mtzguido closed 3 months ago