The Natural Number Game

11 views
Skip to first unread message

Joao Marcos

unread,
Nov 2, 2019, 9:04:39 AM11/2/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
A game which shows the power of induction (using Lean)


JM
Reply all
Reply to author
Forward
0 new messages