tactic `fprop` for proving function properties #184

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push July 21, 2023 21:20

lecopivo

master

Status Success

Total duration 1h 7m 19s

Artifacts –

main.yml

on: push