My project will be to equip Isabelle with the theory of Mereotopology or in other words, the concept of connection and relation between parts.

Student

Manikaran Singh

Mentors

  • benblumson
  • Bruno Woltzenlogel Paleo
close

2018