Programma's van lurch.sf.net

Software voor het onderwijzen en leren van wiskundige bewijzenWaar de meeste wiskundige proof software zich concentreert op formele logica (of een ander specialiteit gebied van de wiskunde), Lurch streeft naar echt algemeen