Sources, results and dependencies
Trace an existing result back to its recorded sources, or find the results that use a source.
Files stay in this browser tab. Nothing is uploaded or saved in browser storage. Close the tab to discard the imported data.
This is a frozen evidence view, not a live course census or a new mathematical review. Browser checks cover structure and references; the Python adapter checks derivation. A prerequisite course is not automatically a proof.
Select a projection generated by the source-use adapter.
Snapshot coverage
Both directions preserve the native result IDs, full conditions and source-use evidence. Unknown information is not filled in.