Tactics: introduce ide() to check if running interactively - Githubissues

FStarLang / FStar

A Proof-oriented Programming Language

https://www.fstar-lang.org

Apache License 2.0

2.65k stars 232 forks source link

Tactics: introduce ide() to check if running interactively #3314

Closed mtzguido closed 3 weeks ago