The top documents tagged [proof format]
A Practical Theory of Programming
37 views
A practical theory of programming
39 views
2.6 Algebraic Proof
43 views