Skip to content
Check whitespace

[ refactor ] proofs under Data.List.Membership.*.Properties #941

Sign in to view logs

[ refactor ] proofs under Data.List.Membership.*.Properties

[ refactor ] proofs under Data.List.Membership.*.Properties #941

Annotations

1 warning

check-whitespace

check-whitespace
succeeded Jan 12, 2025 in 4s