Skip to content
Remote

val_eq_dec: avoid tactics in transparent terms (and revise injectivity lemmas) #654

Sign in to view logs

val_eq_dec: avoid tactics in transparent terms (and revise injectivity lemmas)

val_eq_dec: avoid tactics in transparent terms (and revise injectivity lemmas) #654

Triggered via pull request July 2, 2026 12:06
@pgiarrusso-slpgiarrusso-sl
opened #247
paolo/better-val-eq
Status Success
Total duration 12s
Artifacts –

sl-fm-ci.yml

on: pull_request
Trigger
8s
Trigger
Fit to window
Zoom out
Zoom in