Conceptio › 68v20

Topic

68v20

Knowledge-graph topic · documents ABOUT 68v20 across the archive

2Documents about 68v20

Documents about 68v20

Beyond Correctness: Toward Automated Novelty Verification with Lean 4#609106arXiv (OAI Expanded)
Formalization of Harder-Narasimhan theory#674232arXiv (OAI Expanded)

Conceptio Knowledge Graph

Explore 68v20 across the open knowledge archive

Explore cross-citations, verify licenses and provenance, and integrate 68v20 research directly into AI agents via MCP or REST API.

Search 68v20 in Archive →Query via MCP / API ↗

Related topics

68t051 algebraic-geometry1 f-4-11 formal-languages-and-automata-theory1 i-2-31 logic-in-computer-science1 number-theory1

Topic record · derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Retrieved via Conceptio: topic hubs link to canonical document pages with full provenance.