Picture for Ewen Maclean

Ewen Maclean

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

The Search for Computational Intelligence

Add code
Jan 31, 2015
Figure 1 for The Search for Computational Intelligence
Figure 2 for The Search for Computational Intelligence
Figure 3 for The Search for Computational Intelligence
Figure 4 for The Search for Computational Intelligence
Viaarxiv icon

Towards Automated Proof Strategy Generalisation

Add code
Jun 09, 2013
Figure 1 for Towards Automated Proof Strategy Generalisation
Figure 2 for Towards Automated Proof Strategy Generalisation
Figure 3 for Towards Automated Proof Strategy Generalisation
Figure 4 for Towards Automated Proof Strategy Generalisation
Viaarxiv icon