Skip to content
Check for copyright header

fix: delta-reduce constants with same name but different universes #6430

Sign in to view logs

fix: delta-reduce constants with same name but different universes

fix: delta-reduce constants with same name but different universes #6430

Triggered via pull request November 18, 2024 11:18
@arthur-adjedjarthur-adjedj
synchronize #6100
arthur-adjedj:isdefeq_delta_univs
Status Success
Total duration 38s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
29s
check-lean-files
Fit to window
Zoom out
Zoom in