GitDeployHub

atnnn/mathlib

github.com/atnnn/mathlib ↗
Unknown stack
Best match Fly.io Anything Dockerized — requires the Fly CLI.
macOS
brew install flyctl && fly launch --from https://github.com/atnnn/mathlib
Linux
curl -L https://fly.io/install.sh | sh && fly launch --from https://github.com/atnnn/mathlib
Windows (PowerShell)
iwr https://fly.io/install.ps1 -useb | iex; fly launch --from https://github.com/atnnn/mathlib
Or deploy to a different host
← Try another repo