Rename rules to no longer mention chronos #28
Description
Maybe rules and tactics should not be called synchronous and asynchronous but perhaps be one-sided or two-sided or left- and right-biased. ssprove_sync could also become ssprove_cong.
{{ message }}