Skip to content
Proof PR

produce _def and _val theorems in value_type #2643

Sign in to view logs

produce _def and _val theorems in value_type

produce _def and _val theorems in value_type #2643

GitHub Actions / File annotations for theory linter succeeded Oct 30, 2023 in 0s

File annotations for theory linter

View more details on GitHub Actions