Added manual proofs for pipe laws as `laws.md` 4c82acd Oct 6, 2013
1 contributor

Users who have contributed to this file