emileclarkb/noether
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Type theoretic imperative and logic lang for mathematical programming.
2 commits 1 branch 0 tags 96 KiB
Find a file
Emile Clark-Boman a168a728ce minimum working requirements
2025-06-11 12:43:49 +10:00
prbraid minimum working requirements 2025-06-11 12:43:49 +10:00
.gitignore minimum working requirements 2025-06-11 12:43:49 +10:00
m.py minimum working requirements 2025-06-11 12:43:49 +10:00