Picture for Matt Bray

Matt Bray

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