The truth is only one click away!
<aside> 🌲 Larch to przyjazna użytkownikom aplikacja, które wspiera naukę dowodzenia w różnych systemach formalnych (obecnie tabele analityczne KRZ oraz częściowo rachunek sekwentów IRZ). Rdzeniem programu jest modularny silnik, który zapewnia duże możliwości dopasowania aplikacji do różnych zastosowań i potrzeb użytkowników. W ramach trwającego obecnie projektu aplikacja jest rozbudowywana o kolejne moduły i interfejs graficzny.
</aside>
https://chilipepper.io/form/insane-chopped-piquillo-750ec8bb-b0a4-4020-aecb-b874778c6498