Skip to content
CI

Fix Context::forall and Context::exists quantifiers (#27) #47

Sign in to view logs

Fix Context::forall and Context::exists quantifiers (#27)

Fix Context::forall and Context::exists quantifiers (#27) #47

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
20s
20s