Run Lean Theorem Prover in vscode using Remote Containers
Primary LanguageDockerfileBSD 2-Clause "Simplified" LicenseBSD-2-Clause