20210428014708-coq.org « pages « digarden « content - at-w96k - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/content/digarden/pages/20210428014708-coq.org

blob: 4327d3579d2d56d6eb33784b1e12d3fd67e7e60b (plain)

:PROPERTIES:
:ID:       182e1fdb-3dfe-4f7a-a680-603fca382b59
:END:
#+title: Coq