Fix the description of prop 4.6 in English
Fix the description of prop 4.6 in English
- Released
- Platforms
- Last updated
Developer posts and news about this game.
Fix the description of prop 4.6 in English
Fix the bug: Rule 2.1 is wrongly showed in the tutorial when proving proposition 2.1.
fix some text error add macOS version (It's better to try the demo version before buying the game)
Fix some text errors and add the demo version.
Add rule5.2 assistor (similar to rule3.1)
Some code options are added in this version. Notation is supported now. (See tutorial page 3) Some text error is fixed.
Fix some error of text.