Home

Welcome to the math_notation wiki!

This notation is developed by Sven Nilsen to express mathematical thoughts. This wiki explored the concepts and semantics of the notation. In the long term, the goal is to implement an interpreted language and perhaps a type checker.

Check the sidebar ----> for more information.