maths
problems
notes
files
github
files
/
problems
/
simon-lieb-thirring
/
compute
/ certs
..
c1_lemma11_second.json
2.5 KB
c1_opt_best.json
2.6 KB
This folder on GitHub