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.
Check out the latest version of Kalkulierbar right here in your browser at kbar.app and get started faster than you can say weaklyconnectedregulartableauxcalculus.
Host your own instance of KalkulierbaR, whereever you might need it. All you need is some way to serve a static website
and some place to run a jar. Find the frontend and backend builds for the latest release, then simply run the backend
jar (with the --global flag if you want to use the app from different devices and not just localhost) and point the
frontend to your backend server in the settings. Done!
Or take a look at the backend and frontend directories for more info on how to build KalkulierbaR yourself.
For information on how to use the admin interface to add examples or disable calculi, see Admin Interface.
Ever wanted to play with your own calculus? We provide a set of different parsers, interfaces, and utilites to make building your own calculus as straightforward as possible - take a look at the code and dive in! We always appreciate your bug reports, feature ideas or pull requests - so feel free to join us in building something cool!
On Linux systems you can use the install script ./install.
Supported OS are debian/ubuntu, RHEL/CentOS/Fedora, OpenSUSE, ArchLinux.
Just open your terminal, cd into source directory and type ./install.
If you want to use command yarn and node elswhere or run fronted without the run.sh script then
add /usr/local/lib/nodejs/node-v20.12.2-linux-x64/bin to your path.
If you experience problems or are on Windows, install these manually:
- Oracle JDK / OpenJDK >= Java version 8
- Node.JS (v18+)
- yarn
- Linux: type
./run - Windows:
run.bat