![](/statics/img/blank.png)
Jape
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 5.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Jape
Jape to konfigurowalny graficzny kalkulator formalno-dowód. Możliwe jest zdefiniowanie logiki, podjęcie decyzji, w jaki sposób użytkownicy będą wyświetlać swoje dowody i wiele więcej. Współpracuje z wariantami rachunku sequent i naturalnego odliczenia. Mac, Unix, Windows.