Skip to content

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

Merged
mtzguido merged 3 commits intoFStarLang:masterfrom mtzguido:compare_term_nitJun 21, 2024

Commits

Commits on Jun 21, 2024