Request for Language: Rigorous Mathematics
Open
- Dominant language
- No language data
- Stars
- 17
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
We need to look beyond the 1 letter, overloaded, ill-defined, unrigorous mathematics we currently use and teach.
You could build a Tree Language that defines all of mathematics in a robust way, in a single (long) document.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no files, tests, or entry points, and the repository is archival. First confirm whether work is still wanted and define the proposed Tree Language's scope; done would require an agreed, complete document specifying the rigorous mathematical language.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 10/100