Model the type system in Lean, and check the solver's subtyping and bound merge against it - #109
Draft
dpmills wants to merge 1 commit into
Draft
Model the type system in Lean, and check the solver's subtyping and bound merge against it#109dpmills wants to merge 1 commit into
dpmills wants to merge 1 commit into