NF really is consistent
38 views
Skip to first unread message
Joao Marcos
Apr 25, 2024, 4:18:46 PM4/25/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
(because Lean says so!)
the paper
https://randall-holmes.github.io/Nfproof/maybedetangled2.pdf
[]s, JM
Alexandre Rademaker
Apr 25, 2024, 4:23:45 PM4/25/24
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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 <boto...@gmail.com> wrote:
>
> https://www.logicmatters.net/2024/04/21/nf-really-is-consistent/
Reply all
Reply to author
Forward
0 new messages