athrowaway3z on Leiden Declaration on Artificial Intelligence and Mathematics · Hackerly

Comment on Leiden Declaration on Artificial Intelligence and Mathematics parent

athrowaway3z 3mo

https://lean-lang.org/doc/reference/latest/ValidatingProofs/...