2 ms·ProveIT – a short game to help you learn how formal proofs work in Logic1 points by vismit2000 1mo ago