Add Lean paper equation coverage map draft - #9

Add Lean paper equation coverage map draft#9

rickyjreyes wants to merge 1 commit into

mainrickyjreyes/wct-lean:mainfrom

lean-paper-equation-coverage-map-v2rickyjreyes/wct-lean:lean-paper-equation-coverage-map-v2Copy head branch name to clipboard