Stainless CI

Add Exists quantifier (axiomatized). Rename library to Quantifiers. #208

Sign in to view logs

Triggered via pull request January 21, 2025 20:26

vkuncak

synchronize #1635

vk/quantifiers

Status Success

Total duration 34m 34s

Artifacts –

stainless-CI.yml

on: pull_request

fail_if_pull_request_is_draft