A Formal Proof of Sylow's Theorem

• 1 January 1999
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 23  (3) , 235-264
• https://doi.org/10.1023/a:1006269330992

Abstract

Keywords

• SYLOW'S THEOREM
• ISABELLE
• THEOREM PROVING