e72d49744a0822b9a903e94719cfaf4afeb64197a728a27519dabf8eb3163b4c  files/LICENSE.md
e341f9a8bd961c8f143115e018a7d3495ba632c6698954f326a087db4d3e9942  files/LICENSE_STATUS.json
3e4e561fa551ae721c85205762e0604ee2f3dc3dbffd741d443fbbd32d9770cb  files/README.md
5d3c6b2e5709c37ea551eb8fd1d823e5249c5fbc411d36b806241af4df888f36  files/editable/traditional/Paper_V_Traditional_Final.tex
66c394f637ea526be68f47f36b93c24d14fde5876734fe86e272b223a86c3ec9  files/papers/Paper_V_Lean_Guide_Final.pdf
fac98850eb07c5258c62f09773218d16f3213f12733a38944d4d73812e7c93f0  files/papers/Paper_V_Traditional_Final.pdf
f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca  files/papers/Paper_V_Visual_Guide_Final.pdf
