Add paper_tuft_sm_lagrangian Lean modules and build target#12

disregardfiat merged 1 commit into

mainHQIV/hqiv-lean:mainfrom

paper/tuft_sm_lagrangian_supportHQIV/hqiv-lean:paper/tuft_sm_lagrangian_supportCopy head branch name to clipboard