lctur 2

UniMath · Jul 29, 2024 · 70c09c0 · 70c09c0
1 parent 17b13d7
commit 70c09c0
Show file tree

Hide file tree

Showing 3 changed files with 635 additions and 0 deletions.
diff --git a/2024-07-Minneapolis/2_Coq/Fundamentals_Coq.pdf b/2024-07-Minneapolis/2_Coq/Fundamentals_Coq.pdf