Skip to content
Lean Action CI

Add get/set lemmas for size/numInputs/numLatches #89

Sign in to view logs

Add get/set lemmas for size/numInputs/numLatches

Add get/set lemmas for size/numInputs/numLatches #89

Triggered via push March 3, 2026 16:08
@georgerenniegeorgerennie
pushed 0559372
main
Status Success
Total duration 41s
Artifacts –

lean_action_ci.yml

on: push
build
37s
build
Fit to window
Zoom out
Zoom in