Edytor dowodów

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 12:03, 13 mar 2013

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Skocz do: nawigacji, wyszukiwania

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
Źródło „http://lem12.uksw.edu.pl/index.php?title=Edytor_dowodów&oldid=502”