You're welcome! And likewise, thanks for the interesting reply. I'm afraid I have no knowledge of your field, and no idea whether there are good tools and libr

You're welcome! And likewise, thanks for the interesting reply. I'm afraid I have no knowledge of your field, and no idea whether there are good tools and libraries for formalising the things you want. Maybe ask or have a look around the Proof Assistants StackExchange[1]? There are many CS conferences through which you can publish formalised mathematics. One that comes to mind is ITP[2], but there are lots which are announced on mailing lists like TYPES-announce, coq-club, agda... You could look through previous versions of ITP and check out a few of the papers on formalising mathematics to get a feel for what these publications look like. [1] https://proofassistants.stackexchange.com/ https://proofassistants.stackexchange.com/ [2] https://mizar.uwb.edu.pl/ITP2023/ https://mizar.uwb.edu.pl/ITP2023/