CI for EWD998 Trace Validation

adapting proofs to modified FS_Induction theorem #75

Sign in to view logs

Triggered via pull request December 8, 2025 12:23

synchronize #190

fs_induction

Status Success

Total duration 9m 55s

Artifacts –

ewd998.yml

on: pull_request