illinois-geometry-lab

There are 1 repository under illinois-geometry-lab topic.

• vaibhavkarve / igl2020

  Lean project for Fall 2020

  illinois-geometry-lablean-theorem-proverlogicmathematicsmodel-theoryuiuc
  Language:Lean 7