b4c31291776f113d24c5b0968938074428f1989bc6ae7c5a6f628f57bc01a448  files/LICENSE_NOTICE.md
4a11d0e5980d985a46c9f57c2a278f18b625e1a65946dd66145435d42b498df0  files/README.md
a7c75178cfe82ae2550e200886e3ad0e2414c64cfa8c636abe796de20eecc0f1  files/docs/LEAN_GUIDE.md
811b6d512bcacc8b2aa437fba6cee89ac0ac1fe28f0bd45c5c6b24a156a9a3d9  files/docs/Proof_Path_Theory.pdf
ce05e88b439e9fd55ef6eb04da708a63ce02e6627424e6daac0dca4177b8ab51  files/docs/Proof_Path_Theory.tex
3701cfa1dd2d8efb4985ad3a841f8715e1406f24abfffa08259a85faef2ea5ff  files/docs/Proof_Path_Theory_Visual_Sampler.pdf
