[Hol-info] ThEdu'15, Theorem proving components for Educational software, cfp

Last Call for Extended Abstracts Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015

[Hol-info] ThEdu'15, Theorem proving components for Educational software, cfp

Call for Extended Abstracts Demonstrations - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ThEdu'15 Theorem proving components for Educational software July 13-17, 2015