summaryrefslogtreecommitdiff
path: root/tests/lean/Tutorial.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start fixing the testsSon Ho2024-02-021-1/+1
* Cleanup the tutorial a bitSon Ho2023-09-181-80/+110
* Make minor modifications to the tutorialSon Ho2023-09-181-3/+2
* Make progress on the tutorialSon Ho2023-09-181-3/+66
* Start writing a tutorialSon Ho2023-09-181-0/+297