Edytor dowodów: Różnice pomiędzy wersjami

Wersja z 12:03, 13 mar 2013

To jest tymczasowa strona opisująca wymagania na Edytor Dowodów

Edytor dowodów, lub inaczej asystent tworzenia dowodów.

Zadania

1. Prezentować dowód w postaci artykułu gotowego do druku.
2. Prezentować formuły w postaci

• drzewa
• formuły

1. Wspomagać edycję formuł - przetwarzanie formuł
2. Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane