This was very entertaining.
https://github.com/James-Hanson/junk-theorems-in-lean/
Jean Abou Samra (new account)
npub14p…htzwd
2025-12-16 09:38:59 UTC
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pub