Skip to content
CI

Support more quantifier rewrites. #561

Sign in to view logs

Support more quantifier rewrites.

Support more quantifier rewrites. #561

Triggered via pull request November 22, 2024 08:32
@abdoo8080abdoo8080
opened #147
abdoo8080:quants
Status Success
Total duration 3m 51s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in