A reflection on the nature of proof in informal settings, discussing when demonstration suffices and when it falls short
https://victor-wiki.win/index.php/Incrementality_Testing_with_(un)Common_Logic
A reflection on the nature of proof in informal settings, discussing when demonstration suffices and when it falls short.