GitHub / cfr42 / prooftrees
A LaTeX package for drawing logical tableaux.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cfr42%2Fprooftrees
Stars: 1
Forks: 0
Open issues: 0
License: lppl-1.3c
Language: TeX
Size: 3.21 MB
Dependencies parsed at: Pending
Created at: 11 months ago
Updated at: 2 months ago
Pushed at: 3 months ago
Last synced at: about 1 month ago
Topics: latex, latex-package, logic, mathematics, pgf, philosophy, tableau, tableaux, tex, tikz, trees
Loading...