tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
quartz-research-note/content/Coq.md

6 lines
90 B
Markdown
Raw Normal View History

modified frontmatter depending on timestamp
2024-02-08 18:01:44 +09:00
---
updated timestamp
2024-02-08 20:06:45 +09:00
date: "2023-08-22T23:39:29+0900"
modified frontmatter depending on timestamp
2024-02-08 18:01:44 +09:00
---
[obsidian] vault backup: 2023-08-22 23:39:29[
2023-08-22 23:39:29 +09:00
#tools #software
定理証明支援システム
Reference in New Issue Copy Permalink