iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 17:41:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,584 Commits 3 Branches 0 Tags 50 MiB
52463c3f44
Commit Graph

2 Commits

Author SHA1 Message Date
Martin Dvořák
90d544271e
[lean/en] add space before colon (#5132)
Some checks failed
Trigger site build / deploy (push) Has been cancelled
Details
CI / lint (push) Has been cancelled
Details
2024-10-03 16:50:47 -07:00
Balagopal Komarath
7b4a50ac46
[lean4/en] Documentation for Lean 4 (#4893) 2024-05-13 00:14:59 -06:00