HOL is a system for proving theorems in Higher Order Logic. It
comes with a large variety of existing theories formalising
various parts of mathematics and theoretical computer science.
Latest 5 files |
|||
|---|---|---|---|
| Nom | Taille | Date | Télécharger compter |
| README.md | 18.4 KB | 2021-02-03 11:34 | 0 |
| hol-kananaskis-14.tar.gz | 18.9 MB | 2021-02-03 11:34 | 1 |
| kananaskis-14-tutorial.pdf | 603.2 KB | 2021-02-03 11:33 | 2 |
| kananaskis-14-reference.pdf | 2.2 MB | 2021-02-03 11:33 | 0 |
| kananaskis-14-quick.pdf | 112.4 KB | 2021-02-03 11:32 | 0 |
All Files |
|||
| README.md | 18.4 KB | 2021-02-03 11:34 | 0 |
| hol-kananaskis-14.tar.gz | 18.9 MB | 2021-02-03 11:34 | 1 |
| kananaskis-14-tutorial.pdf | 603.2 KB | 2021-02-03 11:33 | 2 |
| kananaskis-14-reference.pdf | 2.2 MB | 2021-02-03 11:33 | 0 |
| kananaskis-14-logic.pdf | 342.6 KB | 2021-02-03 11:32 | 1 |
| kananaskis-14-quick.pdf | 112.4 KB | 2021-02-03 11:32 | 0 |
| kananaskis-14-lassie-tutorial.pdf | 336.1 KB | 2021-02-03 11:32 | 1 |
| kananaskis-14-interaction-emacs.pdf | 324.0 KB | 2021-02-03 11:32 | 0 |
| kananaskis-14-developers.pdf | 272.6 KB | 2021-02-03 11:32 | 0 |
| kananaskis-14-description.pdf | 1.7 MB | 2021-02-03 11:32 | 1 |
| readme.md | 20.0 KB | 2019-08-20 10:20 | 0 |
| hol-kananaskis-13.tar.gz | 15.2 MB | 2019-08-20 10:18 | 3 |
| kananaskis-13-tutorial.pdf | 602.2 KB | 2019-08-20 10:18 | 5 |
| kananaskis-13-reference.pdf | 2.1 MB | 2019-08-20 10:18 | 2 |
| kananaskis-13-quick.pdf | 112.5 KB | 2019-08-20 10:18 | 0 |
| kananaskis-13-logic.pdf | 342.7 KB | 2019-08-20 10:18 | 1 |
| kananaskis-13-developers.pdf | 267.4 KB | 2019-08-20 10:18 | 0 |
| kananaskis-13-description.pdf | 1.6 MB | 2019-08-20 10:18 | 2 |
| README.md | 15.1 KB | 2018-06-20 09:32 | 0 |
| hol-kananaskis-12.tar.gz | 12.8 MB | 2018-06-20 09:28 | 3 |
| kananaskis-12-tutorial.pdf | 605.3 KB | 2018-06-20 09:28 | 1 |
| kananaskis-12-quick.pdf | 112.5 KB | 2018-06-20 09:28 | 0 |
| kananaskis-12-reference.pdf | 2.1 MB | 2018-06-20 09:28 | 1 |
| kananaskis-12-description.pdf | 1.6 MB | 2018-06-20 09:28 | 0 |
| kananaskis-12-developers.pdf | 266.4 KB | 2018-06-20 09:28 | 3 |
| kananaskis-12-logic.pdf | 343.0 KB | 2018-06-20 09:28 | 0 |
| README.md | 0.2 KB | 2017-06-23 13:36 | 4 |
| cakeml-tutorial.tar.gz | 70.2 MB | 2017-06-23 13:33 | 3 |
| HOL-tutorial.tar.gz | 101.5 MB | 2017-06-23 13:32 | 27 |
| hol-kananaskis-11.tgz | 12.0 MB | 2017-05-03 01:32 | 4 |
| README.md | 10.8 KB | 2017-03-03 12:36 | 1 |
| kananaskis-11-reference.pdf | 2.0 MB | 2017-03-03 12:33 | 0 |
| kananaskis-11-tutorial.pdf | 480.1 KB | 2017-03-03 12:33 | 5 |
| kananaskis-11-logic.pdf | 381.6 KB | 2017-03-03 12:33 | 5 |
| kananaskis-11-quick.pdf | 112.5 KB | 2017-03-03 12:33 | 0 |
| kananaskis-11-developers.pdf | 263.8 KB | 2017-03-03 12:33 | 1 |
| kananaskis-11-description.pdf | 1.3 MB | 2017-03-03 12:33 | 2 |
| README.md | 11.5 KB | 2014-11-10 13:40 | 11 |
| kananaskis-10-tutorial.pdf | 538.7 KB | 2014-11-10 13:40 | 36 |
| kananaskis-10-reference.pdf | 1.9 MB | 2014-11-10 13:40 | 23 |
| kananaskis-10-quick.pdf | 159.4 KB | 2014-11-10 13:40 | 26 |
| kananaskis-10-logic.pdf | 381.8 KB | 2014-11-10 13:39 | 33 |
| kananaskis-10-IT-tutorial.pdf | 694.7 KB | 2014-11-10 13:39 | 19 |
| kananaskis-10-IT-logic.pdf | 398.3 KB | 2014-11-10 13:39 | 23 |
| kananaskis-10-install.exe | 34.6 MB | 2014-11-10 13:39 | 38 |
| kananaskis-10-description.pdf | 1.2 MB | 2014-11-10 13:39 | 19 |
| hol-kananaskis-10.tar.gz | 11.3 MB | 2014-11-10 13:39 | 12 |
| kananaskis-9-install.exe | 32.4 MB | 2013-12-09 13:51 | 20 |
| readme.md | 8.3 KB | 2013-12-09 13:49 | 5 |
| kananaskis-9-tutorial.pdf | 538.3 KB | 2013-12-09 13:45 | 23 |
| kananaskis-9-reference.pdf | 1.8 MB | 2013-12-09 13:45 | 33 |
| kananaskis-9-quick.pdf | 108.2 KB | 2013-12-09 13:45 | 20 |
| kananaskis-9-logic.pdf | 369.8 KB | 2013-12-09 13:45 | 22 |
| kananaskis-9-description.pdf | 1.2 MB | 2013-12-09 13:45 | 19 |
| kananaskis-9.tar.gz | 10.9 MB | 2013-12-09 13:45 | 3 |
| README | 8.4 KB | 2012-10-11 13:43 | 6 |
| kananaskis-8-install.exe | 30.6 MB | 2012-10-11 13:28 | 7 |
| kananaskis-8.tar.gz | 9.9 MB | 2012-10-11 13:20 | 4 |
| kananaskis-8-tutorial.pdf | 537.9 KB | 2012-10-11 13:19 | 12 |
| kananaskis-8-reference.pdf | 1.8 MB | 2012-10-11 13:19 | 18 |
| kananaskis-8-quick.pdf | 108.2 KB | 2012-10-11 13:19 | 17 |
| kananaskis-8-logic.pdf | 370.0 KB | 2012-10-11 13:19 | 18 |
| kananaskis-8-description.pdf | 1.1 MB | 2012-10-11 13:19 | 14 |
| kananaskis-8.release.html | 9.8 KB | 2012-10-11 13:18 | 7 |
| kananaskis-7-install.exe | 28.3 MB | 2011-08-15 11:14 | 7 |
| kananaskis-7.tar.gz | 8.9 MB | 2011-08-15 11:10 | 8 |
| README | 7.6 KB | 2011-08-15 11:07 | 6 |
| kananaskis-7-tutorial.pdf | 508.0 KB | 2011-08-15 11:04 | 26 |
| kananaskis-7-reference.pdf | 1.8 MB | 2011-08-15 11:04 | 32 |
| kananaskis-7-quick.pdf | 108.2 KB | 2011-08-15 11:04 | 23 |
| kananaskis-7-logic.pdf | 369.8 KB | 2011-08-15 11:04 | 22 |
| kananaskis-7-description.pdf | 1.1 MB | 2011-08-15 11:04 | 21 |
| kananaskis-7.release.html | 9.8 KB | 2011-08-15 11:03 | 5 |
| kananaskis-6-release-notes.txt | 12.8 KB | 2010-09-09 10:51 | 5 |
| kananaskis-6-install.exe | 27.3 MB | 2010-09-09 10:42 | 8 |
| kananaskis-6.tar.gz | 8.5 MB | 2010-09-09 10:25 | 6 |
| kananaskis-6-reference.pdf | 1.9 MB | 2010-09-09 10:22 | 23 |
| kananaskis-6-tutorial.pdf | 570.0 KB | 2010-09-09 10:22 | 36 |
| kananaskis-6-quick.pdf | 139.4 KB | 2010-09-09 10:22 | 16 |
| kananaskis-6-description.pdf | 1.1 MB | 2010-09-09 10:22 | 20 |
| kananaskis-6-logic.pdf | 401.1 KB | 2010-09-09 10:22 | 8 |
| kananaskis-5.tar.gz | 8.1 MB | 2009-07-09 10:00 | 6 |
| kananaskis-5-install.exe | 24.5 MB | 2009-07-09 06:58 | 9 |
| kananaskis-5-tutorial.pdf | 501.6 KB | 2009-07-08 13:46 | 20 |
| kananaskis-5-logic.pdf | 308.1 KB | 2009-07-08 13:28 | 19 |
| kananaskis-5-quick.pdf | 98.4 KB | 2009-07-08 13:28 | 27 |
| kananaskis-5-description.pdf | 862.3 KB | 2009-07-08 13:28 | 25 |
| kananaskis-5-reference.pdf | 1.8 MB | 2009-07-08 13:28 | 17 |
| kananaskis-4.tar.gz | 6.4 MB | 2007-01-03 10:11 | 5 |
| kananaskis-4-tutorial.pdf | 536.6 KB | 2007-01-03 10:10 | 32 |
| kananaskis-4-submanuals.tar.gz | 1.7 MB | 2007-01-03 10:09 | 5 |
| kananaskis-4-reference.pdf | 2.1 MB | 2007-01-03 10:08 | 22 |
| kananaskis-4-quick.pdf | 99.9 KB | 2007-01-03 10:06 | 13 |
| kananaskis-4-logic.pdf | 287.5 KB | 2007-01-03 10:06 | 11 |
| kananaskis-4-install.exe | 24.9 MB | 2007-01-03 10:06 | 5 |
| kananaskis-4-description.pdf | 1.2 MB | 2007-01-03 10:02 | 16 |
| kananaskis-3-submanuals.tar.gz | 1.7 MB | 2005-09-27 14:13 | 3 |
| kananaskis-3-tutorial.pdf | 549.9 KB | 2005-09-27 14:06 | 22 |
| kananaskis-3-reference.pdf | 2.1 MB | 2005-09-27 14:06 | 25 |
| kananaskis-3-quick.pdf | 99.9 KB | 2005-09-27 14:06 | 44 |
| kananaskis-3-description.pdf | 1.1 MB | 2005-09-27 14:06 | 20 |
| kananaskis-3-HolSatLib.pdf | 86.1 KB | 2005-09-27 14:06 | 11 |
| kananaskis-3-HolBdd.pdf | 223.5 KB | 2005-09-27 14:06 | 21 |
| kananaskis-3.tar.gz | 5.0 MB | 2005-09-27 14:06 | 6 |
| kananaskis-3-install.exe | 21.1 MB | 2005-09-27 14:06 | 17 |
| kananaskis-2-HolBdd.pdf | 248.3 KB | 2004-03-08 14:45 | 12 |
| kananaskis-2.tar.gz | 3.4 MB | 2004-03-08 14:38 | 8 |
| kananaskis-2-tutorial.pdf | 518.3 KB | 2004-03-08 14:36 | 12 |
| kananaskis-2-reference.pdf | 2.0 MB | 2004-03-08 14:36 | 14 |
| kananaskis-2-description.pdf | 971.2 KB | 2004-03-08 14:36 | 20 |
| kananaskis-2-HolSatLib.pdf | 98.3 KB | 2004-03-08 14:36 | 24 |
| kananaskis-1-tutorial.pdf | 411.0 KB | 2002-06-17 23:36 | 19 |
| kananaskis-1-reference.pdf | 1.8 MB | 2002-06-17 23:36 | 15 |
| kananaskis-1-description.pdf | 863.6 KB | 2002-06-17 23:36 | 19 |
| win-install-kananaskis-1.exe | 10.4 MB | 2002-06-17 22:20 | 5 |
| kananaskis-1.tar.gz | 3.4 MB | 2002-06-17 22:19 | 3 |
| kananaskis-1-HolSatLib.pdf | 90.1 KB | 2002-06-07 19:29 | 23 |
| kananaskis-1-HolBdd.pdf | 237.8 KB | 2002-06-07 19:29 | 21 |
| taupo-6-tutorial.pdf | 344.6 KB | 2001-09-06 17:34 | 31 |
| taupo-6-reference.pdf | 903.6 KB | 2001-09-06 17:33 | 18 |
| taupo-6-description.pdf | 757.8 KB | 2001-09-06 17:33 | 32 |
| nt-install-taupo-6.exe | 8.3 MB | 2001-09-03 22:10 | 13 |
| HOLdbase | 841.9 KB | 2001-08-10 23:39 | 9 |
| hol98-taupo-6.tar.gz | 2.9 MB | 2001-08-10 22:59 | 9 |
| hol-omega-kananaskis-5.tar.gz | 8.1 MB | 2009-07-31 06:03 | 11 |
| kananaskis-5.release.html | 28.5 KB | 2009-07-08 13:17 | 6 |
