iskm/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-12-23 09:41:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7,656 Commits 3 Branches 0 Tags 50 MiB
ee4b278dcf
Commit Graph

2 Commits

Author SHA1 Message Date
Adam Bard
f1d03b0318
Try ocaml highlighting with coq 2019-11-19 11:18:49 -08:00
philzook58
e81c081dc3 Add Coq tutorial 2019-11-12 00:02:53 -05:00