Add more nuance to when quantifiers can/cannot have an expr with a st… #83

Sign in to view logs

Triggered via push December 25, 2023 00:04

parno

main

Status Success

Total duration 41s

Artifacts –

ci.yml

on: push