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.
1 commit 1 branch 0 tags 96 KiB
Find a file
Emile Clark-Boman c743ca0b85 lalalala
2025-06-11 11:11:35 +10:00
prbraid lalalala 2025-06-11 11:11:35 +10:00
m.py lalalala 2025-06-11 11:11:35 +10:00