RISC » FMSEM05W » Resources » The Theorem Proving Environments Isabelle and Coq: A Personal Experience
 
 

 

This resource should appear in a popup window.
If it didn't, click here: The Theorem Proving Environments Isabelle and Coq: A Personal Experience