Skip to content

Enable more descriptive names for quantifiers and logical constants #79

Enable more descriptive names for quantifiers and logical constants

Enable more descriptive names for quantifiers and logical constants #79

Annotations

2 warnings

This job succeeded