wheatwizard / pyvivid Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nickmarton/pyvivid
pyVivid - a concrete package for heterogeneous natural deduction that combines diagrammatic and symbolic reasoning
License: MIT License