Check Specs & Metadata

adapting proofs to modified FS_Induction theorem #1016

Sign in to view logs

Re-run triggered December 12, 2025 06:02

ahelwer

#190

fs_induction

Status Success

Total duration 28m 54s

Artifacts –

CI.yml

on: pull_request

Matrix: validate