Activity for HOL theorem-proving systemhttps://sourceforge.net/p/hol/activity/Recent activity for HOL theorem-proving systemenThu, 25 Apr 2024 04:15:02 -0000HOL theorem-proving system released /hol/trindemossen-1/readme.mdhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/readme.md/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:15:02 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/readme.md/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-tutorial.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-tutorial.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:04 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-tutorial.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-reference.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-reference.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:04 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-reference.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-logic.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-logic.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:04 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-logic.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-quick.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-quick.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:04 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-quick.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-interaction-emacs.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-interaction-emacs.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:03 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-interaction-emacs.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/hol-trindemossen-1.tar.gzhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/hol-trindemossen-1.tar.gz/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:03 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/hol-trindemossen-1.tar.gz/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-developers.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-developers.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:03 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-developers.pdf/downloadHOL theorem-proving system released /hol/trindemossen-1/trindemossen-1-description.pdfhttps://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-description.pdf/downloadHOL theorem-proving systemThu, 25 Apr 2024 04:12:03 -0000https://sourceforge.net/projects/hol/files/hol/trindemossen-1/trindemossen-1-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/README.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/README.md/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:35:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/README.md/downloadHOL theorem-proving system released /hol/kananaskis-14/hol-kananaskis-14.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/hol-kananaskis-14.tar.gz/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:35:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/hol-kananaskis-14.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-tutorial.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-tutorial.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-reference.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-reference.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-quick.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-quick.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-quick.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-developers.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-developers.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-developers.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-lassie-tutorial.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-lassie-tutorial.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-lassie-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-description.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-description.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-logic.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-logic.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-14/kananaskis-14-interaction-emacs.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-interaction-emacs.pdf/downloadHOL theorem-proving systemWed, 03 Feb 2021 02:33:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-14/kananaskis-14-interaction-emacs.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/readme.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/readme.md/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:20:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/readme.md/downloadHOL theorem-proving system released /hol/kananaskis-13/hol-kananaskis-13.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/hol-kananaskis-13.tar.gz/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/hol-kananaskis-13.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-logic.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-logic.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-developers.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-developers.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-developers.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-reference.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-reference.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-tutorial.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-tutorial.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-quick.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-quick.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-quick.pdf/downloadHOL theorem-proving system released /hol/kananaskis-13/kananaskis-13-description.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-description.pdf/downloadHOL theorem-proving systemTue, 20 Aug 2019 01:19:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-13/kananaskis-13-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/README.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/README.md/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:32:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/README.md/downloadHOL theorem-proving system released /hol/kananaskis-12/README.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/README.md/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:30:04 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/README.md/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-developers.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-developers.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-developers.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/hol-kananaskis-12.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/hol-kananaskis-12.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-reference.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-reference.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-logic.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-logic.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-tutorial.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-tutorial.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-description.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-description.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-12/kananaskis-12-quick.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-quick.pdf/downloadHOL theorem-proving systemWed, 20 Jun 2018 00:29:03 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-quick.pdf/downloadHOL theorem-proving system released /hol/PLDI 2017 CakeML tutorial/README.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/PLDI%25202017%2520CakeML%2520tutorial/README.md/downloadHOL theorem-proving systemFri, 23 Jun 2017 04:36:33 -0000https://sourceforge.net/projects/hol/files/hol/PLDI%202017%20CakeML%20tutorial/README.md/downloadHOL theorem-proving system released /hol/PLDI 2017 CakeML tutorial/cakeml-tutorial.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/PLDI%25202017%2520CakeML%2520tutorial/cakeml-tutorial.tar.gz/downloadHOL theorem-proving systemFri, 23 Jun 2017 04:34:05 -0000https://sourceforge.net/projects/hol/files/hol/PLDI%202017%20CakeML%20tutorial/cakeml-tutorial.tar.gz/downloadHOL theorem-proving system released /hol/PLDI 2017 CakeML tutorial/HOL-tutorial.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/PLDI%25202017%2520CakeML%2520tutorial/HOL-tutorial.tar.gz/downloadHOL theorem-proving systemFri, 23 Jun 2017 04:33:04 -0000https://sourceforge.net/projects/hol/files/hol/PLDI%202017%20CakeML%20tutorial/HOL-tutorial.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-11/hol-kananaskis-11.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/hol-kananaskis-11.tgz/downloadHOL theorem-proving systemTue, 02 May 2017 16:33:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/hol-kananaskis-11.tgz/downloadHOL theorem-proving system released /hol/kananaskis-11/README.mdhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/README.md/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:35:07 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/README.md/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-logic.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-logic.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-developers.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-developers.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-developers.pdf/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-description.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-description.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-tutorial.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-tutorial.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-11/hol-kananaskis-11.tar.gzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/hol-kananaskis-11.tar.gz/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/hol-kananaskis-11.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-reference.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-reference.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-11/kananaskis-11-quick.pdfhttps://sourceforge.nethttps%3A//sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-quick.pdf/downloadHOL theorem-proving systemFri, 03 Mar 2017 03:34:02 -0000https://sourceforge.net/projects/hol/files/hol/kananaskis-11/kananaskis-11-quick.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-reference.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-reference.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:41:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/README.mdhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/README.md/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:41:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/README.md/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-tutorial.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-tutorial.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:41:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-IT-tutorial.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-IT-tutorial.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-IT-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-install.exehttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-install.exe/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-install.exe/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-IT-logic.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-IT-logic.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-IT-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/hol-kananaskis-10.tar.gzhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-logic.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-logic.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-quick.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-quick.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-quick.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-description.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-description.pdf/downloadHOL theorem-proving systemMon, 10 Nov 2014 04:40:04 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/README.mdhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/README.md/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:39:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/README.md/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-install.exehttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-install.exe/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-install.exe/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-reference.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-reference.pdf/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-reference.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-tutorial.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-tutorial.pdf/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-tutorial.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-logic.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-logic.pdf/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-logic.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-description.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-description.pdf/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-description.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/kananaskis-10-quick.pdfhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-quick.pdf/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/kananaskis-10-quick.pdf/downloadHOL theorem-proving system released /hol/kananaskis-10/hol-kananaskis-10.tar.gzhttps://sourceforge.nethttp%3A//sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz/downloadHOL theorem-proving systemFri, 07 Nov 2014 05:35:03 -0000http://sourceforge.net/projects/hol/files/hol/kananaskis-10/hol-kananaskis-10.tar.gz/download