5 Forks
21 Stars
21 Watchers

leanteach2020

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

How to download and setup leanteach2020

Open terminal and run command
git clone https://github.com/vaibhavkarve/leanteach2020.git
git clone is used to create a copy or clone of leanteach2020 repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with leanteach2020 https://github.com/vaibhavkarve/leanteach2020/archive/master.zip

Or simply clone leanteach2020 with SSH
[email protected]:vaibhavkarve/leanteach2020.git

If you have some problems with leanteach2020

You may open issue on leanteach2020 support forum (system) here: https://github.com/vaibhavkarve/leanteach2020/issues

Similar to leanteach2020 repositories

Here you may see leanteach2020 alternatives and analogs

 freeCodeCamp    freecodecamp.cn    mathjs    gpu.js    sympy    Surge    simple-statistics    mlcourse.ai    libchaos    cute_headers    mathnet-numerics    stdlib    RandomKit    mathquill    osmnx    math-php    Euler    stats    phobos    sage-archive-2023-02-01    Project-Euler-solutions    swix    pragmatapro    expr-eval    Sophus    long.js    primesieve    libRmath.js    symengine    AlgebraicEngine-Fraction