tutorials4 icon indicating copy to clipboard operation
tutorials4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Add devcontainer files

Open bernborgess opened this issue 10 months ago • 0 comments

  • Devcontainer files allow for an automatic Lean 4 container to be used with this repository

bernborgess avatar May 03 '24 16:05 bernborgess