summaryrefslogtreecommitdiff
path: root/tests/lean/Tutorial.lean (follow)
Commit message (Expand)AuthorAgeFilesLines
* Revert "Fix some mistakes"Son Ho2024-06-121-11/+11
* Fix some mistakesSon Ho2024-06-121-11/+11
* Update some Lean proofsSon Ho2024-04-111-11/+11
* 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