A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering
📐 Natural language explanations of Lean 4 theorems | MathJax 4.0 rendering • Batch processing • Mathematical notation | Formal verification accessibility
MPL (Mathematics Programming Language) — write the equation, run the equation. A programming language built entirely from mathematical notation: culture-agnostic, English-free, readable by anyone who knows the math. Complete ANTLR parser proves the concept; interpreter and runtime are the frontier. Contributors wanted.
Kary Framework is a Cross Platform Textual User Interface Implementation Framework made of components for String Manipulation, Terminal Viewport Management and Terminal UI Widgets.
LaTeX and matlab files for this course
A teenager's independent rediscovery of classical number theory theorems (2002-2007). Complete diary, analysis, and reflections.
Add a description, image, and links to the mathematical-notation topic page so that developers can more easily learn about it.
To associate your repository with the mathematical-notation topic, visit your repo's landing page and select "manage topics."