Change the repository type filter
All
Repositories list
2 repositories
speedith
PublicSpeedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).iCircles
PubliciCircles (short for Inductive Cirles) is a library for drawing spider diagrams (see http://www.eulerdiagrams.com/inductivecircles.html for more info).