KalkulierbaR helps you master your logic skills - learn to do proofs in various calculi with beautiful graphical representations, helpful feedback along the way, and the confidence of never building an incorrect proof.
KalkulierbaR has moved to KalkulierbaR/kalkulierbar.
We'll keep this repo up, but don't expect any updates / patches here.