Check Specs & Metadata

adapting proofs to modified FS_Induction theorem #1015

Sign in to view logs

Triggered via pull request December 8, 2025 12:23

synchronize #190

fs_induction

Status Success

Total duration 29m 1s

Artifacts –

CI.yml

on: pull_request

Matrix: validate