David M. Russinoff:
A Formalization of Finite Froup Theory.
In: ACL2 2022: 17th International Workshop on the ACL2 Theorem Prover and its Applications,
Austin, Texas,
doi:10.4204/EPTCS.359.10.
David M. Russinoff (2023):
A Formalization of Finite Froup Theory: Part II.
In: ACL2 2023: 18th International Workshop on the ACL2 Theorem Prover and its Applications,
Austin, Texas.
eptcs@eptcs.org