Mereotopology in Computational philosophy
- Mentors
- benblumson, Bruno Woltzenlogel Paleo
- Organization
- AOSSIE - Australian Open Source Software Innovation and Education
My project will be to equip Isabelle with the theory of Mereotopology or in other words, the concept of connection and relation between parts.