Skip to content
CI

simp lemmas for neg and sub for VecStruct #411

Sign in to view logs

simp lemmas for neg and sub for VecStruct

simp lemmas for neg and sub for VecStruct #411

Triggered via push November 22, 2023 18:18
@lecopivolecopivo
pushed 833b291
master
Status Success
Total duration 24m 29s
Artifacts –

main.yml

on: push
build
18m 5s
build
deploy
6m 3s
deploy
Fit to window
Zoom out
Zoom in