Type theoretic imperative and logic lang for mathematical programming.
| lang | ||
| py | ||
| src | ||
| tests | ||
| .gitignore | ||
| noether.nimble | ||
| README | ||
Noether is a project I plan to complete over a LONG period of time (years). A collection of useful commands for solving various math problems. A personal little MATLAB alternative I suppose :) In future I'd love to start using a developed TUI library like [textual](https://github.com/Textualize/textual?tab=readme-ov-file), but for now everything is just a custom ANSI wrapper thing. Noether can compile to C or Nim via their respective backends. NOTES: 1. could I define something like "primality classes"? ie class one: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, ... class two: 3, 5, 11, 17, 31, ... (class 1 with a prime index, ie 11 is the 5th class 1 prime) class three: 5, 11, 31, ... (class 2 with a prime index, ie 11 is the 3rd class 2 prime) 2. figure out all possible patterns that can appear amongst primitive roots can we then categorise primes by their primitive root behaviour?