Skip to content

tactic fprop for proving function properties #184

tactic fprop for proving function properties

tactic fprop for proving function properties #184

Triggered via push July 21, 2023 21:20
Status Success
Total duration 1h 7m 19s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in