Main Page

Presently the wiki serves only internal use in development.

The ISAC-project works on a prototype for educational software in applied mathematics based on the computer theorem prover Isabelle, ISAC is an "interactive, transparent and complete model of mathematics" which aims at learning by trial and error in the same way as supported by good chess playing software.

<== Please find relevant pages in the topmost 6 entries in the menu on the left (Main Page .. People)

Open source repository for ISAC's development: Mathematics engine: https://hg.risc.uni-linz.ac.at/wneuper/isa Front end: https://hg.risc.uni-linz.ac.at/wneuper/isac

Consult the User's Guide for information on using the wiki software.

Getting started

 * Configuration settings list
 * MediaWiki FAQ
 * MediaWiki release mailing list

Welcome to !
This Main Page was automatically created by a wiki creator (a volunteer who created this wiki per a request), and it seems it hasn't been replaced yet.

For the bureaucrat(s) of this wiki
Hello, and welcome at your new wiki! Thank you for choosing Miraheze for the hosting of your wiki, and we hope you will enjoy our hosting.

You can immediately start working on your wiki, whenever you want.

Need help? No problem! We will help you with your wiki as needed. To make a start we have added a few links about working with MediaWiki:
 * MediaWiki guide (e.g. navigation, editing, deleting pages, blocking users)
 * Miraheze FAQ
 * Request settings changes on your wiki. (Extensions and Logo/Favicon changes should be done through Special:ManageWiki on your wiki.

But Miraheze, I still don't understand X!
Well, that's no problem. Even if something isn't explained in the documentation/FAQ, we still are happy to help you. You can find us here:
 * On our own Miraheze wiki
 * On IRC in #miraheze on irc.freenode.net (direct link; webchat)

For a visitor of this wiki
Hello, the default Main Page of this wiki (this is the default Main Page) has not been replaced yet by the bureaucrat(s) of this wiki. The bureaucrat(s) might still be working on a Main Page, so please check this page again later!