Theoremis v0.1.4

What's new

• Split the repository into app/ and site/, and move the site to theoremis.com
• Check formalizations with Lean 4 and Mathlib

Download the installer for your computer below, or from https://theoremis.com.

macOS (Apple silicon)	Theoremis_*_aarch64.dmg
macOS (Intel)	Theoremis_*_x64.dmg
Windows	Theoremis_*_x64-setup.exe
Linux	.AppImage, .deb or .rpm

If your computer asks before opening Theoremis the first time:

• macOS ("Apple could not verify Theoremis"): choose Done, then go to System Settings → Privacy & Security and choose Open Anyway.
• Windows: if SmartScreen appears, choose More info → Run anyway.
• Linux: make the AppImage executable with chmod +x Theoremis_*.AppImage.

Then sign in with ChatGPT in Settings to use your plan, or point Theoremis at a local Ollama server.