| Name | Description | Contact | Last modified | ||
| isa | math-engine for Isabelle/Isac written in Isabelle/SML | walther.neuper@jku.at | Mon, 01 Jan 2024 12:31:26 +0200 | gz bz2 | |
| isa-for-mat | Isabelle tutorial for mathematicians | Walther Neuper <wneuper@ist.tugraz.at> | Fri, 17 Apr 2015 15:34:36 +0200 | gz bz2 | |
| isac | front-end for Isabelle/Isac written in Java/Scala front-end | walther.neuper@jku.at | Wed, 14 Apr 2021 07:54:06 +0200 | gz bz2 | |
| isac-doc2 | isac documents, version 2015ff with FH | Walther Neuper <wneuper@ist.tugraz.at> | Wed, 21 Feb 2018 16:07:28 +0200 | gz bz2 | |
| isagen | administration of Isac startup (isa genossenschaft) | Walther Neuper <wneuper@ist.tugraz.at> | Tue, 13 Feb 2018 20:10:46 +0200 | gz bz2 | |
| mawen | auxiliary repository for the mawen project | Walther Neuper <wneuper@ist.tugraz.at> | Thu, 05 Oct 2017 15:39:23 +0200 | gz bz2 | |
| mawen-isa | follow-up paper to "Towards an Accessible Mathematics Working Environment in Education" for ThEdu'21 at ssh://vcs@vcs.sketis.net/source/mawen-isa/ | Walther.Neuper@jku.at | Tue, 22 Mar 2022 16:12:48 +0200 | gz bz2 | |
| mlehnfeld | trials on polynomial package worth to maintain | Walther Neuper <wneuper@ist.tugraz.at> | Thu, 15 Jun 2017 11:29:51 +0200 | gz bz2 | |
| poly | polynomial package for Isabelle | Walther Neuper <wneuper@ist.tugraz.at> | Tue, 06 Dec 2016 11:14:05 +0200 | gz bz2 | |
| polyintro | Introduction to Polynomial Package for Isabelle | Walther Neuper <wneuper@ist.tugraz.at> | Mon, 19 May 2014 14:44:52 +0200 | gz bz2 | |
| polypaper | Papers on Polynomial Package for Isabelle | Walther Neuper <wneuper@ist.tugraz.at> | Wed, 08 Jan 2020 19:36:11 +0200 | gz bz2 | |
| proposal-kit-iis | unknown | unknown | Mon, 12 Dec 2022 11:45:31 +0200 | gz bz2 |