Skip to content

refactor: migrate to dependent induction lemmas #22802

refactor: migrate to dependent induction lemmas

refactor: migrate to dependent induction lemmas #22802

Triggered via pull request October 9, 2024 17:25
Status Success
Total duration 47s
Artifacts

PR_summary.yml

on: pull_request
Fit to window
Zoom out
Zoom in