aboutsummaryrefslogtreecommitdiffstats
path: root/proof (unfollow)
Commit message (Expand)AuthorFilesLines
2026-04-03formatMarcos Magueta1-225/+226
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta8-0/+556
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 03:10:50 +0000