Programy według jape.sf.net

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 sequen