😊 Easy to useNo more errornous clicking for logical connectives! Type your proof in a file with your favourite editor!
🚀 Fast and correctndpc is built upon the awesome parsing framework parsley, resulting in an actual markup language with tolerant syntax.
💡 LightweightWith scala native, you can simply download the binary for your architecture. Even the jar build is dependency free!