Christoph Benzmüller: Comments on the formalisation and automation of foundational theories from the point of view of LogiKEy External Video-URL https://www.youtube.com/watch?v=1yYldjkZJZQ Preview-Image Search Engine Exclude no
