4 ms·
https://theoremdb.org/ https://theoremdb.org/ Seems to be doing exactly the same?
by mrconter2 2mo ago
https://theoremdb.org/ https://theoremdb.org/
Seems to be doing exactly the same?
- fractorial 2mo agoPalomar requires the Comparator/formalization.yaml challenge stack. It also has an LLM-based vacuity gate backed by Tao. Theoremdb is just a slop farm.
- deleted 2mo ago[deleted]