Collapse file tree

Files

 master

Search this repository

/

.devcontainer

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

adamtopaz

feat: Update devcontainer.json + add Dockerfile (leanprover-community…

Open commit details

Mar 20, 2023

651c06c · Mar 20, 2023

History

History

Open commit details

This branch is 12797 commits behind leanprover-community/mathlib4:master.

/

.devcontainer

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Dockerfile		Dockerfile	feat: Update devcontainer.json + add Dockerfile (leanprover-community…	Mar 20, 2023
devcontainer.json		devcontainer.json	feat: Update devcontainer.json + add Dockerfile (leanprover-community…	Mar 20, 2023
View all files