ch0ic3/free-programming-books
1
0
Fork 0
mirror of https://github.com/EbookFoundation/free-programming-books.git synced 2024-12-18 17:36:14 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

remove chaff

Browse Source
This commit is contained in:
eric 2023-11-17 11:31:27 -05:00
parent da60db3fdd
commit 4dce5aae9c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
books/free-programming-books-ja.md
View File

@ -294,7 +294,7 @@
### Coq
trl:
* [ソフトウェアの基礎](http://proofcafe.org/sf) - Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, `trl:` 梅村晃広, `trl:` 片山功士, `trl:` 水野洋樹, `trl:` 大橋台地, `trl:` 増子萌, `trl:` 今井宜洋