preloadingpreloading

Others

2017

  PDF     T. Tuerk
Slides of HOL master course given at KTH in 2017
see also printer friedly version and the exercise sheets

2012

  PDF     T. Tuerk
Documentation of the HOL 4 quantifier elimination library
distributed together with HOL 4 in directory src/quantHeuristics/doc

News

8 May 2017
Contact details updated

15 November 2016
Contact details updated

22 January 2014
Contact details updated

10 September 2013
minor updates

19 June 2012
Contact details updated

17 June 2011
Projects added

19 May 2011
Contact details updated

25 April 2011
Pages created

Last update
July 15. 2019 08:44:46