summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Extensions.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-02Update lean to v4.6.0-rc1 and start fixing the proofsSon Ho1-5/+5
2023-12-11Reorganize a bitSon Ho1-0/+47