aboutsummaryrefslogtreecommitdiffstats
path: root/theories/Decrease.vos (unfollow)
Commit message (Expand)AuthorFilesLines
2026-07-11rocq proof: structural decrease is well foundedMarcos Magueta1-0/+0
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 04:03:10 +0000