Coq record update

github.comtool

Library which provides a generic way to update Coq record fields.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Libraries: “Library which provides a generic way to update Coq record fields.”