Commit graph

5 commits

Author SHA1 Message Date
Paul Gauthier
0a95badf3f Updated docs 2024-06-21 08:57:30 -07:00
Paul Gauthier
88ea4198ea added descriptions 2024-06-08 13:57:16 -07:00
Paul Gauthier
01f1e62269 split up install 2024-06-05 21:13:56 -07:00
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