Models and Theory of Distributed Systems

ProofBuddy

ProofBuddy based on Isabelle is an web interface to learn how to prove with an proof assistant.