
proofcraft.org
proofcraft.orgGerwin's Style Guide for Isabelle/HOL. Part 2: Good Style. The dos and don’ts of Isabelle proofs - Part 2: Good Style. Advanced material for nicer proofs. With examples and rationale. Read more ». Gerwin's Style Guide for Isabelle/HOL. Part 1: Good Proofs. The dos and don’ts of Isabelle proofs: guidelines for making your proofs more readable, maintainable and enjoyable. With examples and rationale. Read more ». So you want to be a proof engineer? I want to verify software! Will prove theorems for money!
http://www.proofcraft.org/
SOCIAL ENGAGEMENT