Description
Provides a GTK-based graphical interface for Rocq proof development, helping users edit proof scripts and inspect proof state visually. It is useful for learning, teaching, and working on formal proofs with a more guided interface than a plain terminal.
The GUI improves workflow but does not replace understanding the proof assumptions. Check imported libraries, proof goals, and generated artifacts before relying on formal verification claims.