Commit graph

2 commits

Author SHA1 Message Date
Paul Gauthier
7bd8d26f95 copy 2024-06-05 21:05:15 -07:00
Paul Gauthier
0d9150c77b coq for languages.md 2024-06-05 20:24:19 -07:00