Mathematics

This group contains articles related to mathematics and other foundational knowledge that helps me with formalization and calculation.