ℹ️
🇬🇧
Search
Search for people relevant for "Isabelle/HOL"
Isabelle/HOL
Person
Class
Person
Publication
Programmes
person
doc. Mgr. Štěpán Holub Ph.D.
Faculty of Mathematics and Physics, Catholic Theological Faculty
person
Bc. Martin Raška
Faculty of Mathematics and Physics
Loading network view...
