Lines of Proof as basis for (naïve) encodings

Previous slide Next slide Back to first slide View graphic version