"Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms."

Guido Martínez et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics