Pratt_Certificate

MaRDI QIDQ53739swMATHFDO

Official website https://www.isa-afp.org/entries/Pratt_Certificate.html

Cited in

(10)

• FindFacts
• SErAPIS
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• Quaternions
• Aristotles_Assertoric_Syllogistic
• Amicable Numbers
• Irrationality_J_Hancl
• Irrational_Series_Erdos_Straus
• Octonions
• Transcendence_Series_Hancl_Rucki

This page was built for software: Pratt_Certificate