Kurt Playground

K Kurt Playground

Loading runtime…

kurt-lang

Output

Run code with Cmd/Ctrl Enter, code size: Cmd/Ctrl +/−/0, indent: Cmd/Ctrl ]/[.
The Kurt programming language for proof checking is made by Stefan Harmeling (2025).