/agda-mereotopology

Mereotopology in Agda

MIT LicenseMIT

No issues in this repository yet.