Add `prod_rect_nodep_eta` (#129) #613

Sign in to view logs

Triggered via push December 7, 2023 23:43

JasonGross

master

Status Success

Total duration 13m 57s

Artifacts –

coq.yml

on: push

Matrix: build