adapting proofs to modified FS_Induction theorem #79
Triggered via pull request
December 13, 2025 13:56
muenchnerkindl
Status
Success
Total duration
11m 38s
Artifacts
–