Zulip Chat Archive

Stream: new members

Topic: Process to PR to mathlib

Michael Wahlberg (Sep 13 2023 at 12:37):

I have formalised proof of correctness of RSA in lean4 with some sampling capabilities, what is the general process to PR this to mathlib?

Patrick Massot (Sep 13 2023 at 12:43):


Jireh Loreaux (Sep 13 2023 at 21:27):

Note: the video tutorial there is outdated, but the rest I believe is up to date.

Last updated: Dec 20 2023 at 11:08 UTC