(webdev Tory) @worldsendless@qoto.org

Siri, what’s a metaphor?

.

"As for everything else, so for a mathematical theory – beauty can be perceived, but not explained." – Arthur Cayley (1821–1895)
#quote #mathematics #beauty #maths #math

Formally verified certification of unsolvability of temporal planning problems. ~ David Wang, Mohammad Abdulaziz. https://arxiv.org/abs/2510.10189 #ITP #IsabelleHOL