Port formal specification to Agda #3176

Sign in to view logs

Triggered via pull request August 27, 2024 17:17

amesgen

synchronize #1162

javierdiaz72/formal-spec-agda-porting

Status Success

Total duration 11m 27s

Artifacts –

documentation.yml

on: pull_request

Test documentation deployment