Proof-checker

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 10:27, 14 mar 2013

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

Uwagi nt. proof-checkera.

  1. Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów.
  2. Analizowany dowód składa się z formuł algorytmicznych oddzielanych tekstem.

Format LATEX-owy lub podobny?

  1. Tekst służy organizowaniu dowodu w strukturę drzewa.
Źródło „http://lem12.uksw.edu.pl/index.php?title=Proof-checker&oldid=514”