Skip to content

Enable more descriptive names for quantifiers and logical constants#111

Merged
jrh13 merged 1 commit intojrh13:masterfrom jargh:masterSep 24, 2024

Commits

Commits on Sep 24, 2024