Skip to content
Check for copyright header

fix: display deprecation warning for simp lemmas on the lemma name #2431

Sign in to view logs

fix: display deprecation warning for simp lemmas on the lemma name

fix: display deprecation warning for simp lemmas on the lemma name #2431

Triggered via pull request June 13, 2024 20:22
@joneugsterjoneugster
opened #4448
hhu-adam:simp_deprecation_ref
Status Success
Total duration 32s
Artifacts –

copyright-header.yml

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