Bring back forall and exists quantifiers (Closes #200) #283

Triggered via push February 9, 2025 20:38

filipeom

main

Status Success

Total duration 15m 36s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.13 MB