aziis98/lean-codespace
1
0
Fork 0
mirror of https://github.com/aziis98/lean-codespace.git synced 2026-10-06 06:34:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
3 Commits 1 Branch 0 Tags
4726885732a1831e2a1fc5fd88731bf534f8f1bb
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
aziis98 4726885732 updated codespace link
2023-09-29 13:16:08 +02:00
.devcontainer
initial commit
2023-09-29 13:11:59 +02:00
Prova
initial commit
2023-09-29 13:11:59 +02:00
.gitignore
initial commit
2023-09-29 13:11:59 +02:00
lakefile.lean
initial commit
2023-09-29 13:11:59 +02:00
lean-toolchain
initial commit
2023-09-29 13:11:59 +02:00
Main.lean
simplified an example
2023-09-29 13:12:50 +02:00
Prova.lean
initial commit
2023-09-29 13:11:59 +02:00
README.md
updated codespace link
2023-09-29 13:16:08 +02:00

README.md

Lean Codespace

Progetto ricavato dalla repo: https://github.com/leanprover/lean4-samples

GitHub Pro con Unipi

Open in GitHub Codespaces

Reference in New Issue View Git Blame Copy Permalink
S
Description
Questa repository contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpaces
Readme
43 KiB
Languages
Lean 68.3%
Dockerfile 31.7%