Foundations

On this page we collect some general ideas about mathematics which are the basis for design decisions in the \(\small\mathbb M\)ATh project.