Skip to content
Proof PR

produce _def and _val theorems in value_type #2824

Sign in to view logs

produce _def and _val theorems in value_type

produce _def and _val theorems in value_type #2824

GitHub Actions / File annotations for theory linter succeeded Apr 10, 2024 in 0s

File annotations for theory linter

View more details on GitHub Actions