Deploy website - based on 6965828

formal-land · Oct 26, 2024 · d77f35f · d77f35f
1 parent 35bd015
commit d77f35f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/slides/2024-10-26_encode-club_london_coq-of-solidity.pdf b/slides/2024-10-26_encode-club_london_coq-of-solidity.pdf