Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants

Pascal Fontaine^*, Jean Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review