theotui

A Ratatui app for explorers of theoretical computer science.
The core crate implements parsers and interpreters for various topics of theoretical computer science.
The TUI makes these topics accessible in an easy and fun way.

Currently there is support for:

• set theory
• propositional logic
• deterministic finite automata

View Source