Relative position of function symbols in proof hints #816
Triggered via pull request
September 27, 2023 19:46
gtrepta
Status
Success
Total duration
22m 27s
Artifacts
–