ℹ️
🇬🇧
Search
Search for publications relevant for "HOL Light"
HOL Light
Publication
Class
Person
Publication
Programmes
Export current view
publication
Reconstruction of the Mizar Type System in the HOL Light System
2010 |
Faculty of Mathematics and Physics
