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

[obsidian] vault backup: 2023-08-24 21:45:03[

Browse Source
This commit is contained in:
Tomoya Matsuura(MacBookPro)
2023-08-24 21:45:03 +09:00
parent dd528e9b2d
commit 22f5c77fd1
2 changed files with 25 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
content/音楽プログラミング言語の形式化.md
View File

@ -10,7 +10,4 @@
## 基礎知識
[[Coq]]を用いた定理証明支援の基礎
- [Software Foundations 日本語訳](https://chiguri.info/sfja/)
- 京都大学　[[五十嵐淳]] [「計算と論理」　授業資料(2023)](https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/)
[[Coqの勉強]]