From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- macros/latex/contrib/ribbonproofs/README | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 macros/latex/contrib/ribbonproofs/README (limited to 'macros/latex/contrib/ribbonproofs/README') diff --git a/macros/latex/contrib/ribbonproofs/README b/macros/latex/contrib/ribbonproofs/README new file mode 100644 index 0000000000..d9de194a3d --- /dev/null +++ b/macros/latex/contrib/ribbonproofs/README @@ -0,0 +1,3 @@ +The ribbonproofs package provides a way to draw "ribbon proofs" in LaTeX. + +A ribbon proof is a diagrammatic representation of a mathematical proof that a computer program meets its specification. These diagrams are more human-readable, more scalable, and more easily modified than the corresponding textual proofs. Ribbon proofs were introduced by John Wickerson, Mike Dodds and Matthew Parkinson in a paper entitled "Ribbon Proofs for Separation Logic" and presented at the European Symposium on Programming (ESOP) 2013. \ No newline at end of file -- cgit v1.2.3