Commit Graph

2 Commits

Author SHA1 Message Date
Ian Jauslin 15ee42222b Update to v0.5
Substantial simplification of the proof

Remove distinction between simple, evenly filled and enclosed graphs
2016-01-06 14:03:07 +00:00
Ian Jauslin ee72175941 Initial commit 2015-10-16 21:42:07 +00:00