Teorema Formalize App Free Version: 2.1.30 Size: 31.25 MB Release date: 2026-07-20 Min iOS: 15.0 Bundle ID: com.teoremaformalizecli View App
