Picture for Grant Olney Passmore

Grant Olney Passmore

The Imandra Automated Reasoning System (system description)

Add code
Apr 21, 2020
Figure 1 for The Imandra Automated Reasoning System (system description)
Figure 2 for The Imandra Automated Reasoning System (system description)
Viaarxiv icon