Spaces:
Running
Running
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <title>Lean 4 Proof Assistant</title> | |
| <style> | |
| body { font-family: sans-serif; display: flex; align-items: center; justify-content: center; height: 100vh; margin: 0; background: #f5f5f5; } | |
| .card { background: white; padding: 2rem 3rem; border-radius: 12px; box-shadow: 0 2px 12px rgba(0,0,0,0.1); text-align: center; } | |
| a { color: #f97316; font-weight: 600; text-decoration: none; } | |
| a:hover { text-decoration: underline; } | |
| </style> | |
| </head> | |
| <body> | |
| <div class="card"> | |
| <h1>Lean 4 Proof Assistant</h1> | |
| <p>This app runs on <strong>Hugging Face Spaces</strong>.</p> | |
| <p><a href="https://huggingface.co/spaces">Open the app on Hugging Face Spaces →</a></p> | |
| </div> | |
| </body> | |
| </html> | |