search

vaibhavkarve / igl2020

Lean project for Fall 2020
https://vaibhavkarve.github.io/igl2020/model
7 stars 2 forks source link

(WIP) add proof sketch of thm:isomorphic_struc_satisfy_same_theory #88

Closed vaibhavkarve closed 3 years ago

vaibhavkarve commented 3 years ago

This makes partial progress towards #79 .