😊 Easy to useNo more errornous clicking for logical connectives! Type your proof in a file with your favourite editor!
💡 LightweightWith scala native, you can simply download the binary for your architecture. Even the jar build is dependency free!