Skip to content
Back to pull request #689

produce _def and _val theorems in value_type #2992

Sign in to view logs

produce _def and _val theorems in value_type

produce _def and _val theorems in value_type #2992

Triggered via pull request April 10, 2024 09:28
@lsf37lsf37
synchronize #689
value_type
Status Success
Total duration 25s
Artifacts –

push.yml

on: pull_request
License Check
16s
License Check
Links
16s
Links
Fit to window
Zoom out
Zoom in