https://github.com/leanprover/mathlib
Raw File
Tip revision: 65a1391a0106c9204fe45bc73a039f056558cb83 authored by Yaël Dillies on 30 October 2023, 15:07:49 UTC
feat(data/{list,multiset,finset}/*): `attach` and `filter` lemmas (#18087)
Tip revision: 65a1391
.gitpod.yml
image:
  file: .docker/gitpod/mathlib/Dockerfile

vscode:
  extensions:
    - jroesch.lean

tasks:
  - init: leanpkg configure && leanproject get-cache --fallback=download-all
    command: . /home/gitpod/.profile
back to top