---
Final Call for Papers
--
SYNASC 2017
19th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 21-24, 2017, Timisoara, Romania
http://synasc.ro/2017
---
Final Call for Papers
--
SYNASC 2017
19th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 21-24, 2017, Timisoara, Romania
http://synasc.ro/2017
Dear Thierry,
I am thrilled seeing a Q0 implementation in the Metamath logical framework.
Some people at the HOL mailing list will be interested in this, too, so let me
copy to this list.
Unfortunately, I’m busy with my own projects and unable to get into
the details of Metamath currently, which
