Noma Workbench
Source -> proof -> artifact
Home
Docs
Spec
GitHub
File
Format
Insert
Layout
Review
Find
Export
Ready
Example
Load
Document
New
Open
Render
Text
B
I
Code
Link
Paragraph
H1
H2
H3
List
1.
Quote
Block Code
Insert
Table
Figure
Callout
Task
Control
Math
Layout
TOC
Header
Footer
Page
Break
Review
Comment
Change
Footnote
Agent
Prove
Apply
Share Proof
Find
Prev
Next
0/0
Download
Noma
HTML
JSON
Output
Copy LLM
DOCX Cmd
Print
Share
Draft Link
Review Packet
Source
Output
Preview
Edit Preview
AST
LLM
Proof