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
+
−
↻
Move to Parent
Structure
root
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
Detach from Molecule
Rename Molecule
