agda

Here are all posts tagged with this category:

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