Proof-checker: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „== Uwagi nt. proof-checkera. == # Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów. # Analizowany dowód składa się z fo...”) |
(Brak różnic)
|
Wersja z 10:27, 14 mar 2013
Uwagi nt. proof-checkera.
- Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów.
- Analizowany dowód składa się z formuł algorytmicznych oddzielanych tekstem.
Format LATEX-owy lub podobny?
- Tekst służy organizowaniu dowodu w strukturę drzewa.
