typosaurus-sandbox

Sandbox for Typosaurus end-to-end verification

Running the web app

make run

The development server starts at http://127.0.0.1:5000.