Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/latex/contrib/ribbonproofs

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.

Files

Name Size Date Notes
README 522 2013-07-06 10:05:11
ribbonproofs.sty 55541 2013-07-08 07:12:20
ribbonproofsmanual.pdf 335721 2013-07-01 12:39:21
ribbonproofsmanual.tex 37282 2013-07-01 12:38:28

Down­load the com­plete con­tents of this di­rec­tory in one zip archive (337.6k).

rib­bon­proofs – Draw­ing rib­bon proofs

The pack­age pro­vides a way to draw “rib­bon proofs” in LaTeX.

A rib­bon proof is a di­a­gram­matic rep­re­sen­ta­tion of a math­e­mat­i­cal proof that a com­puter pro­gram meets its spec­i­fi­ca­tion. Th­ese di­a­grams are more hu­man-read­able, more scal­able, and more eas­ily mod­i­fied than the cor­re­spond­ing tex­tual proofs.

Doc­u­men­ta­tion
Ver­sion1.0
Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerJohn Wick­er­son
Con­tained inTeXLive as rib­bon­proofs
MiKTeX as rib­bon­proofs
Topics type­set proofs and proof di­a­grams
Guest Book Sitemap Contact 2014-04-18 02:15 CEST