chore(ManuallyProved/Equation1692): golf a bit more · teorth/equational_theories@11455f3

Triggered via push February 3, 2025 10:49

main

Status Success

Total duration 28m 23s

Artifacts 1

blueprint-paper.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	59.2 MB