Code

History

Commits on main to scripts/export-problems.ts9
  1. Typed relations between entriesRasmus Lindahl committed 3 months ago6e97eff
  2. Remove the formal-statement box, and revert the About wordmarkRasmus Lindahl committed 3 months ago441a11f
  3. Give long result notes a home, and show the formal statementRasmus Lindahl committed 3 months ago12a98b9
  4. Split verification into two axes; add the resolution method axisRasmus Lindahl committed 3 months agof3d795f
  5. Add the AI-estimated significance axisRasmus Lindahl committed 3 months ago5462755
  6. Add the AI-contribution axisRasmus Lindahl committed 3 months agof928920
  7. Links get a real table and a row editor; cards and entries breatheRasmus Lindahl committed 3 months agoeecad0d
  8. Entries can carry multiple sources (links)Rasmus Lindahl committed 3 months agoc7c96b6
  9. Snapshot the full catalog back into the seed JSON (db:export)Rasmus Lindahl committed 3 months ago68ec269