speedith
Popular repositories Loading
Repositories
Showing 2 of 2 repositories
- speedith Public
Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).
speedith/speedith’s past year of commit activity - iCircles Public
iCircles (short for Inductive Cirles) is a library for drawing spider diagrams (see http://www.eulerdiagrams.com/inductivecircles.html for more info).
speedith/iCircles’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…