Meta-F*: Proof automation with SMT, Tactics, and Metaprograms

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01995376
Contributor : Cătălin Hriţcu <>
Submitted on : Saturday, January 26, 2019 - 4:08:40 PM
Last modification on : Friday, July 26, 2019 - 1:44:05 PM

Links full text

Identifiers

  • HAL Id : hal-01995376, version 1
  • ARXIV : 1803.06547

Collections

Citation

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, et al.. Meta-F*: Proof automation with SMT, Tactics, and Metaprograms. ESOP'19 - European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨hal-01995376⟩

Share

Metrics

Record views

48