1 paper
Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe
Theorem provers are important tools for people working in formal verification. There are a myriad of interactive systems available today, with varying features and approaches motiv…