formal-ai

A local, in-process formal-reasoning agent.

Open the web app
Read the documentation
Download the desktop app
Install the VS Code extension
Install the command-line tool
Set up the Telegram bot