Refactor everything

.github/workflows/test_linux.yml

@@ -0,0 +1,32 @@
+name: Test on Linux
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: [3.5, 3.6, 3.7, 3.8]
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v1
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+    - name: Install elan
+      run: |
+          curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain leanprover-community/lean:3.5.1 -y 
+          echo "##[add-path]$HOME/.elan/bin"
+      shell: bash
+    - name: Test with pytest
+      run: |
+        pip install pytest
+        pip install .
+        pytest
+

.github/workflows/test_macos.yml

@@ -0,0 +1,33 @@
+name: Test on MacOS
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: macos-latest
+    strategy:
+      matrix:
+        python-version: [3.5, 3.6, 3.7, 3.8]
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v1
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        brew install gmp coreutils
+    - name: Install elan
+      run: |
+          curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain leanprover-community/lean:3.5.1 -y 
+          echo "##[add-path]$HOME/.elan/bin"
+      shell: bash
+    - name: Test with pytest
+      run: |
+        pip install pytest
+        pip install .
+        pytest
+

.github/workflows/test_win.yml

@@ -0,0 +1,32 @@
+name: Test on Windows
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: windows-latest
+    strategy:
+      matrix:
+        python-version: [3.5, 3.6, 3.7, 3.8]
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v1
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+    - name: Install elan
+      run: |
+          curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain leanprover-community/lean:3.5.1 -y 
+          echo "##[add-path]C:\Users\runneradmin\.elan\bin"
+      shell: bash
+    - name: Test with pytest
+      run: |
+        pip install pytest
+        pip install .
+        pytest
+

.gitignore

@@ -3,4 +3,10 @@
 /leanpkg.path
 _cache
 __pycache__
-*.pyc
+*.pyc
+*.mypy_cache
+.python-version
+.tox
+build
+dist
+*.egg-info

README.md

@@ -1,13 +1,10 @@
 # mathlib-tools
 
-[![Build Status](https://travis-ci.org/leanprover-community/mathlib-tools.svg?branch=master)](https://travis-ci.org/leanprover-community/mathlib-tools)
-[![Build status](https://ci.appveyor.com/api/projects/status/t353pkb62tep1rth?svg=true)](https://ci.appveyor.com/project/cipher1024/mathlib-tools)
+![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg)
+![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg)
+![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg)
 
-This package contains several supporting tools for [Lean mathlib](https://leanprover-community.github.io/).
-
-  - `update-mathlib` fetches precompiled olean files if you use mathlib as a dependency
-  - `cache-olean` caches olean files, and if you're working on mathlib it can also fetch precompiled olean files from github
-  - `setup-lean-git-hooks` automates the usage of `cache-olean` using git hooks
+This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
 
 See also [the documentation in the mathlib repository](https://github.com/leanprover-community/mathlib/blob/8700aa7d78b10b65cf8db1d9e320872ae313517a/docs/contribute/index.md).