Lab for Automated Reasoning and Analysis LARA

Labs 03

Isabelle presented by Steven Obua.

You may also wish to check the video of Steven's talk about mechanizing the Proof of Kepler's Conjecture.

 
sav09/labs_03.txt · Last modified: 2009/03/05 13:32 by vkuncak
 
© EPFL 2018 - Legal notice