https://formalproof.ai/ 2026-09-15 https://formalproof.ai/quick-start/ 2026-09-15