Skip to content

Update example in readme to account for multiple egraphs #101

Update example in readme to account for multiple egraphs

Update example in readme to account for multiple egraphs #101

Triggered via push October 16, 2024 16:14
Status Success
Total duration 1m 16s
Artifacts 1

publish.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
19.7 MB