Add sanity check for implications - #289

Merged

ScriptRaccoon merged 2 commits into

mainfrom

Jul 14, 2026

Commits on Jul 14, 2026

treat better-sqlite3 and katex as real dependencies
ScriptRaccoon
committed
aaf1737
verify in seed script that every implication has some assumption and some conclusion
ScriptRaccoon
committed
d837ade