Done defining/proving simp_form, which simplifies formulas using cont… #65

Sign in to view logs

Triggered via push September 19, 2024 15:14

hferee

main

Status Success

Total duration 14m 12s

Artifacts 3

build_docs.yml

on: push

Artifacts

Produced during runtime

Name	Size
benchmark	780 Bytes
build-time	1.67 KB
docs-artifact	2.23 MB