Works elsewhere under the name Thierry Coquand
One page per author name as the sources print it. Not a Papex account.
2 works
- Auto formalisation of Chaitin and of the surprise incompleteness Theorem · arXiv · 09 Jun 2026
- Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic · arXiv · 01 Jun 2026
Named here, or see a mistake? Write to privacy@papex.org.