Edytor dowodów

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
3. Wspomagać edycję formuł - przetwarzanie formuł
   • tworzyć pomocnicze etykiety dla podformuł danej formuły
   • zwijać i rozwijac podformuły oznaczone etykietą
   • dokonywac podstawień wewnatrz podformuły
4. Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane
5. zarzadzać logiką: aksjomaty i reguły wnioskowania
6. zarzadzać bazą wiedzy - zbiorem twierdzeń i definicji