[Logica-l] NF really is consistent

https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/ (because Lean says so!) the paper https://randall-holmes.github.io/Nfproof/maybedetangled2.pdf []s, JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensage

Re: [Logica-l] NF really is consistent

Hahaha! No Lean confio, não confiaria se fosse o chatGPT! —- Alexandre Rademaker http://arademaker.github.io > On 25 Apr 2024, at 17:18, Joao Marcos wrote: > > https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/ > (because Lean says so!) > > the paper > https://randall-holmes