Skip to content
Proof PR

lib: none_top/none_bot for option predicates #2758

Sign in to view logs

lib: none_top/none_bot for option predicates

lib: none_top/none_bot for option predicates #2758

GitHub Actions / File annotations for theory linter succeeded Mar 14, 2024 in 0s

File annotations for theory linter

View more details on GitHub Actions