Mentor

Formal languages

Example

File

Second language Type

Write a specification, pick a command, and run.

Syntax

Mentor CLI from hardekbc/mentor-release

User guide