The minimal latex image to draw a proof tree
boitsov14 / minimal-bussproofs-latex Goto Github PK
View Code? Open in Web Editor NEWThe minimal latex image to draw a proof tree
Home Page: https://hub.docker.com/r/boitsov14/minimal-bussproofs-latex
License: MIT License