aziis98/lean-codespace
1
0
Fork 0
mirror of https://github.com/aziis98/lean-codespace.git synced 2026-10-07 15:14:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
19 Commits 1 Branch 0 Tags
main
Commit Graph
3 Commits
Author SHA1 Message Date
aziis98 400ea1ab85 updated devcontainer default open files 2023-09-29 20:01:31 +02:00
aziis98 e2c66fffca mathlib support experiment 2023-09-29 19:21:53 +02:00
aziis98 d210579028 initial commit 2023-09-29 13:11:59 +02:00