TY  - RPRT
TI  - Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
AU  - Guido Martínez
AU  - Danel Ahman
AU  - Victor Dumitrescu
AU  - Nick Giannarakis
AU  - Chris Hawblitzel
AU  - Catalin Hritcu
AU  - Monal Narasimhamurthy
AU  - Zoe Paraskevopoulou
AU  - Clément Pit-Claudel
AU  - Jonathan Protzenko
AU  - Tahina Ramananandro
AU  - Aseem Rastogi
AU  - Nikhil Swamy
PY  - 2019
UR  - https://arxiv.org/abs/1803.06547
ID  - 1803.06547
ER  -