Mizar

I am using Noweb to write Mizar articles (Github repo), specifically formalizing finite group theory. I have written about Mizar elsewhere.

My publications in Mizar:

1. Alexander M Nelson, “Characteristic Subgroups”. Formalized Mathematics 30, no.2 (2022) pp.79-91 PDF 10.2478/forma-2022-0007; director’s cut, 124 pages, literate program version of the code.
2. Alexander M Nelson, “Internal Direct Products and the Universal Property of Direct Product Groups”. Formalized Mathematics 31, no.2 (2023) pp.101-120 PDF 10.2478/forma-2023-0010.