KalkulierbaR
KalkulierbaR helps you master your logic skills - learn to do proofs in various calculi with beautiful graphical representations.
Pinned Repositories
kalkulierbar
Learning Framework for Logic Calculi
KalkulierbaR's Repositories
KalkulierbaR/kalkulierbar
Learning Framework for Logic Calculi