Comprehensive TeX Archive Network

ribbonproofs – Drawing ribbon proofs

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

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.

Sources /macros/latex/contrib/ribbonproofs
Ver­sion 1.0
Li­cense The Project Public Li­cense 1.3
Main­tainer John Wick­er­son
Con­tained in TeX Live as rib­bon­proofs
MiKTeX as rib­bon­proofs
Topics type­set proofs and proof di­a­grams

Down­load the con­tents of this pack­age in one zip archive (337.6k).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author