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)

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: