Aaand another new Wikipedia page:
https://en.wikipedia.org/wiki/Synthetic_mathematics
Jean Abou Samra (new account)
npub14p…htzwd
2025-12-03 16:35:40 UTC
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pub