Coq latest

Definition of sim_term/sim_value and proof of reflexivity #153

Sign in to view logs

Triggered via push February 20, 2024 08:51

adelaett

catala-admitless

Status Success

Total duration 9m 3s

Artifacts –

ci.yml

on: push

Matrix: build