← engula.io Console Results History

Proof Console

Near-realtime stdout/stderr from running proof CLI invocations.

Current: idle

Run: Stream: Filter: follow idle

Engula Proof Results · Powered by proof-suites