From 95ae09917b6f128773325ba2c3575c760bf56b81 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 19 Sep 2023 14:02:07 +0200 Subject: add ocp2023 presentation --- doc/talks/2023-09-20-ocp/assets/lattice1.svg | 433 +++++++++++++++++++++++++++ 1 file changed, 433 insertions(+) create mode 100644 doc/talks/2023-09-20-ocp/assets/lattice1.svg (limited to 'doc/talks/2023-09-20-ocp/assets/lattice1.svg') diff --git a/doc/talks/2023-09-20-ocp/assets/lattice1.svg b/doc/talks/2023-09-20-ocp/assets/lattice1.svg new file mode 100644 index 00000000..8bfa5aa7 --- /dev/null +++ b/doc/talks/2023-09-20-ocp/assets/lattice1.svg @@ -0,0 +1,433 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + $\{\}$ + $\{a,b,c\}$ + + $\{a\}$ + $\{b\}$ + $\{c\}$ + + + $\{a,c\}$ + $\{a,b\}$ + $\{b,c\}$ + + + + + + + + + + + + + + + -- cgit v1.2.3