Theoremis v0.1.9

What's new

• Say in the release notes that Theoremis is in beta
• Open with an introduction instead of the example project
• Say on the site that Theoremis is in beta, made for ChatGPT and Ollama
• Let a hand-started release republish an already released commit

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.

Theoremis is in beta. ChatGPT, Ollama and Lean 4 checking all work, but they're early: expect
changes between versions, and keep copies of anything important. Problems and ideas are welcome as
issues.

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.

Theoremis v0.1.2

What's new

• Update installed apps automatically from GitHub releases
• Sign and notarize macOS releases when a Developer ID is configured
• Cache the site's fingerprinted assets for a year

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

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.

Theoremis v0.1.0

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

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

These builds aren't notarized by Apple or signed for Windows yet, so the first launch needs one extra step:

• macOS: open the app once, then go to System Settings → Privacy & Security and choose Open Anyway. Or run xattr -dr com.apple.quarantine /Applications/Theoremis.app.
• 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.