Skip to content

@hotdocx/emdash 0.2.0

Choose a tag to compare

@hotdocx hotdocx released this 10 Aug 17:30
· 1529 commits to main since this release

AI-native proof engineering and portable research-goal views for the browser-safe TypeScript/emdash workspace API. This release retains the dependency-free Core and authoring entries, and adds source-visible proof development, checked goal/refinement tools, premise search, bounded proof simplification and repair, semantic maintenance reports, and the canonical host-neutral goal-view artifact. Renderers and hosted actions remain separate, non-authoritative consumers.