Programy według lurch.sf.net

Oprogramowanie do nauczania i uczenia się dowodów matematycznychGdzie większość matematycznych oprogramowania dowód koncentruje się na formalnej logiki (lub innego obszaru specjalności matematyki), Lurch ma być naprawdę ogó