401 followers
@EscardoMartin In addition I believe automation for simpler logics such as FOL is leagues ahead of that for Coq, Lean. (I am a Coq programmer.) https://t.co/d0OnUEkaII
@EscardoMartin In addition I believe automation for simpler logics such as FOL is leagues ahead of that for Coq, Lean. (I am a Coq programmer.) https://t.co/d0OnUEkaII
Formalization of the fundamental group in untyped set theory using auto2. https://t.co/Fmf4CdTAKH
#arXiv #cs_LO "Formalization of the fundamental group in untyped set theory using auto2. (arXiv:1707.04757v1 [cs.L… https://t.co/uyTfIda44F