GitHub - amblafont/diagrammatic-resoning-spec: Specification of a diagrammatic reasoning tool

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
graphs		graphs
.latexmkrc		.latexmkrc
Makefile		Makefile
README		README
bib.bib		bib.bib
dstt.pdf		dstt.pdf
dstt.tex		dstt.tex
knowledge2.txt		knowledge2.txt
tool.pdf		tool.pdf
tool.tex		tool.tex
tool2.pdf		tool2.pdf
tool2.tex		tool2.tex
yade-config.json		yade-config.json

Repository files navigation

Slides: https://github.com/amblafont/slides/tree/master/diagrammatic-reasoning

Specification of a diagrammatic reasoning tool

No releases published