Fix the bug: Rule 2.1 is wrongly showed in the tutorial when proving proposition 2.1.
20250403 fix
Loading news and updates…
Source: Steam Community (opens in a new tab)
Fix the bug: Rule 2.1 is wrongly showed in the tutorial when proving proposition 2.1.