Back to pull request #5012

refactor: state `WellFoundedRelation Nat` using `<`, not `Nat.lt` #7627

Sign in to view logs

Triggered via pull request August 13, 2024 11:18

nomeata

opened #5012

joachim/wf-nat-lt

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request