agda

  • 24th May 2025

The beauty of math's incompleteness or how self-references can beautifully screw things up

mathagda
Read more →