ailrun/theorem_proving_in_lean

Unknown stack

Best match Fly.io Anything Dockerized — requires the Fly CLI.

macOS

brew install flyctl && fly launch --from https://github.com/ailrun/theorem_proving_in_lean

Linux

curl -L https://fly.io/install.sh | sh && fly launch --from https://github.com/ailrun/theorem_proving_in_lean

Windows (PowerShell)

iwr https://fly.io/install.ps1 -useb | iex; fly launch --from https://github.com/ailrun/theorem_proving_in_lean

Or deploy to a different host