File translate.ts

scripts/rubi/translate.ts:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	// Rubi → MathJSON corpus translator — CLI entry point (Phase R1,
2	// docs/rubi/RUBI.md §5).
3	//
4	// Usage (from the repo root):

nothing calls this directly

mainFunction · 0.70

no test coverage detected