天泣記

2017-07-23 (Sun)

#1 Proof Summit 2017

Proof Summit 2017 で 「Coq からの C プログラム生成」発表した

[latest]