Pages that link to "Item:Q1961914"
From MaRDI portal
The following pages link to A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L (Q1961914):
Displayed 4 items.
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Formalizing non-interference for a simple bytecode language in Coq (Q931434) (← links)
- Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
- Verification of the Miller-Rabin probabilistic primality test. (Q1400288) (← links)