Skip to content

Tactics

Jump to bottom Edit New page
Jonathan Protzenko edited this page Jul 20, 2017 · 4 revisions

https://github.com/FStarLang/FStar/blob/master/ulib/FStar.Tactics.Sequences.fst with notes at the bottom of the file https://github.com/FStarLang/FStar/tree/master/examples/tactics especially Synthesis and Printers

Add a custom footer
Add a custom sidebar
Clone this wiki locally