EasyMath
Say the math in words. Get the notation, test it, write it up.
Save
Open file
Download .em
starting
Your idea, one statement per line
Ctrl+Enter runs
Run
Results
Paper draft
Phrasebook
Write an idea on the left, or pick an example from the list at the top.
Copy LaTeX
Download .tex
Claims are stated as propositions only when every case was checked. Everything else is a conjecture with its evidence.