Home
My Uploads
My Account
About
Logout
VeriLib Pre-Alpha
Beneficial AI Foundation
v0.1.17
My Account
My Uploads
Upload Code
Layout saved successfully!
Home
/
Back
Create Folder
Toggle Legend
+
Zoom In
−
Zoom Out
↻
Reset Zoom
Download Codes
Save Layout
Reset Layout
Toggle Grid
Move to Parent
Structure
Hold right-click to pan the chart.
Hold Opt/Start + mouse wheel to zoom in/out.
Legend
Specified Node (Top: Specified Status, Bottom: Status Color)
Link (Edge)
Controls
🖱️
Click a Node
: Show details in the editor
🎯
Drag a Node
: Move it within the graph
🖱️
Click + Drag
: Pan the visualization
Identifier:
Verify
Specify
Save Changes
Everything
Spec
Spec+Code
Code
Proof
📝 Code
Rename Molecule
Detach from Molecule
