Module studio 

Studio page - multi-mode playground for Logic, Code, and Math.

The main development environment with three modes:

• Logic Mode: Parse English sentences to First-Order Logic with AST visualization and proof checking
• Code Mode: Write imperative LOGOS code with REPL execution and Rust code generation
• Math Mode: Define theorems and types with interactive proofs and tactic guidance

Layout

• Left sidebar: File browser with example files
• Center: Live editor with syntax highlighting
• Right panel: Context-sensitive output (FOL, AST, REPL, proofs)

Route

Accessed via Route::Studio.

Re-exports

pub use Studio_completions::Component::Studio;

Structs

StudioProps

Properties for the Studio component.

Functions

Studio

Props

parse_math_statements

Parse math code into complete statements.