search

jverifast-ug / translate

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

岐阜大学とVeriFast教育プログラムを作る #10

Open master-q opened 8 years ago

master-q commented 8 years ago

https://twitter.com/keigoi/status/782967901204549632

master-q commented 7 years ago

まずはC92本を通販できるようにすべき