Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
An enhanced Cytoscape network querying app.
TableauxProofTool is an automated theorem prover for propositional logic based on tableaux methods.
TableauProofTool final report (Italian).
Forked from ge-ne/bibtool
BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possi…