<atomfried:matrix.org> Have there any attemts in mechanizing the proofs for theory used by monero?

<atomfried:matrix.org> Even just handwriting the theorems which need to be proofed could be nice so we could from time to time throw an agent at it and see if it gets proofed automatically

<entropyhoover:matrix.org> @atomfried:matrix.org: So agent can just write a 500 page lean that nobody can read lol?

<atomfried:matrix.org> Yeah? If your stated theorems are sound and the axioms are valid ?

<atomfried:matrix.org> The monero Inflation checker could maybe also benefit from this