Florian Kammüller, Lawrence C. Paulson. A Formal Proof of Sylow s Theorem. Journal of Automated Reasoning, 23(3-4):235-264, 1999.
@article{KammullerP99,
title = {A Formal Proof of Sylow s Theorem},
author = {Florian Kammüller and Lawrence C. Paulson},
year = {1999},
tags = {C++},
researchr = {https://researchr.org/publication/KammullerP99},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {23},
number = {3-4},
pages = {235-264},
}