HOL Light QE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacques Carette, William M. Farmer, Patrick Laskowski. HOL Light QE. In Jeremy Avigad, Assia Mahboubi, editors, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Volume 10895 of Lecture Notes in Computer Science, pages 215-234, Springer, 2018. [doi]

This author has not been identified. Look up 'Jacques Carette' in GoogleThis author has not been identified. Look up 'William M. Farmer' in GoogleThis author has not been identified. Look up 'Patrick Laskowski' in Google

runs on WebDSL