source: content/digarden/pages/20210428014708-coq.org@ 972a737

Last change on this file since 972a737 was 972a737, checked in by w96k <w96k@…>, on Apr 16, 2023 at 5:54:55 PM

Add logseq
  • 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.