aparler/RosettaCodeData
1
0
Fork 0
Code Issues 12 Pull requests 3 Projects Releases Packages Wiki Activity Actions
RosettaCodeData/Lang/Coq
History
Exact
Ingy döt Net 4bb20c9b71 Data update
2026-02-01 16:33:20 -08:00
..
00-LANG.txt Data update 2026-02-01 16:33:20 -08:00
00-META.yaml Initial data commit 2023-07-01 13:44:08 -04:00