2 Sep
2023
2 Sep
'23
10:24 p.m.
so, we could maybe define a complete proving system where proofs are implicit and checking them is the action of enumerating everything that can possibly happen and comparing the statement