Skip to content
Back to pull request #1141

Named lemmas in SMT-LIB format #2530

Sign in to view logs

Named lemmas in SMT-LIB format

Named lemmas in SMT-LIB format #2530

Triggered via pull request June 6, 2024 12:41
@HalbarothHalbaroth
opened #1141
Halbaroth:dolmen-named-lemma
Status Success
Total duration 8m 11s
Artifacts –

build_js.yml

on: pull_request
Compile AE with JsoO and test it with NodeJs
8m 3s
Compile AE with JsoO and test it with NodeJs
Fit to window
Zoom out
Zoom in