3cb0e38ab8791c6ede67bddb499d74e69405360b2556efd318db825c7a1081a8  homotopical-backward-semantics.pdf
f85b250ecedabcd46f3553265ec9a59ddf3e841f9f7799cdbfcd41e237c14d15  homotopical-backward-semantics.md
bacd7ac273bb1ddc9b803eb72fb99ac6a9dad515ecf58d30fac66cce21d21751  homotopical-backward-semantics.tex
6e6faff74849eef5cd8039f0996df5ac83a5f37e1da938fba267083f7e99f758  verify_semantics.py
5f57ef284e52aefae53cd84bfc61599463e3cd3210aefdb83ce4b9b26f7638f9  verification.json
7bd6b8946940b79948c548c8048e545684b91c8edc9444d8dfc0c8f76a97c0a7  requirements.txt
78fbeeadcc2b2b706d5758c7e80c798c83436f0793b1116a0045de0b90696515  reference-link-checks.json
45df1c53834c6d619688014c67d422467b14341d43aa36f3f2c7b51b9f18fbbd  submission.json
6f27714ec9d3ef1fde2a3e4904e962cecc8a48d2033c6bd80ae172391097ca47  README.md
