search

FStarLang / FStar

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

Misc tactic improvements #3489

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

Some of this is part of https://github.com/FStarLang/FStar/pull/3382