zentred/rolimons-proof-checker

You can check proofs just by doing a command in discord

Python