Open
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.
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests