Skip to content

Commit 53a7cd2

Browse files
SmaniaDSmaniaD
committed
Create lean-toolchain
1 parent b6c71d9 commit 53a7cd2

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎docbuild/lean-toolchain‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
leanprover/lean4:v4.30.0-rc2

0 commit comments

Comments
 (0)