search

jverifast-ug / translate

VeriFastに関する文書の日本語訳置き場
14 stars 2 forks source link

脚注に訳注を付記 #12

Closed master-q closed 7 years ago

master-q commented 7 years ago

これは無理だった。残念だけど無理なものは無理だった。。。