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

..

3x2_skel.pdf

Initial commit

2015-10-16 21:42:07 +00:00

3x2_subskel.pdf

Initial commit

2015-10-16 21:42:07 +00:00

boundary_circuit_label.pdf

Initial commit

2015-10-16 21:42:07 +00:00

boundary_circuit_naked.pdf

Initial commit

2015-10-16 21:42:07 +00:00

boundary_circuit.pdf

Initial commit

2015-10-16 21:42:07 +00:00

circuit.pdf

Initial commit

2015-10-16 21:42:07 +00:00

comb.pdf

Initial commit

2015-10-16 21:42:07 +00:00

enclosed_example_auxiliary_cover.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

enclosed_example_auxiliary.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

enclosed_example_cover.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

enclosed_example_directed.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

enclosed_example.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

even_example_label.pdf

Initial commit

2015-10-16 21:42:07 +00:00

even_example.pdf

Initial commit

2015-10-16 21:42:07 +00:00

Lshape_label.pdf

Initial commit

2015-10-16 21:42:07 +00:00

Lshape.pdf

Initial commit

2015-10-16 21:42:07 +00:00

minimal_circuit.pdf

Initial commit

2015-10-16 21:42:07 +00:00

oddrepl_aft.pdf

Initial commit

2015-10-16 21:42:07 +00:00

oddrepl_bef.pdf

Initial commit

2015-10-16 21:42:07 +00:00

simple_example_labels.pdf

Initial commit

2015-10-16 21:42:07 +00:00

simple_example.pdf

Initial commit

2015-10-16 21:42:07 +00:00

square_auxiliary.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00

square.pdf

Update to v0.5

2016-01-06 14:03:07 +00:00