ITP 2018: 9th International Conference on Interactive Theorem Proving July 9-12, 2018, Oxford, United Kingdom

Comments are closed.