source: content/digarden/20210428014708-coq.org@ 5a2b670

Last change on this file since 5a2b670 was 5a2b670, checked in by Mikhail Kirillov <w96k@…>, on Oct 6, 2022 at 12:37:40 PM

Add digital garden
  • Property mode set to 100644
File size: 81 bytes
Line 
1:PROPERTIES:
2:ID: 182e1fdb-3dfe-4f7a-a680-603fca382b59
3:END:
4#+title: Coq
5
Note: See TracBrowser for help on using the repository browser.