Author:Jiri Vyskocil
KeyphrasesATP Competitions, automated reasoning2, computational linguistics, Flyspeck, formal mathematics, HOL Light, large theories, machine learning, Parsing Mathematics, type checking. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |