CI for EWD998 Trace Validation

adapting proofs to modified FS_Induction theorem #82

Sign in to view logs

Triggered via pull request December 14, 2025 09:56

synchronize #190

fs_induction

Status Success

Total duration 11m 0s

Artifacts –

ewd998.yml

on: pull_request