天泣記

2018-08-15 (Wed)

#1 coq issue #8253 Anomaly "Uncaught exception Evarconv.UnableToUnify(_, _)." on elim of ssreflect: coq issue #8253

2018-08-31 (Fri)

#1 日本ソフトウェア科学会第35回大会 (JSSST2018)

日本ソフトウェア科学会第35回大会 (JSSST2018) で発表した。

Coq用Cコード生成器の線形性検査拡張 (paper) (slide)