Skip to content

fix(engine/fstar): fix implicit discrepancies in traits#726

Merged
W95Psp merged 3 commits intomainfrom fix-719Jun 24, 2024

Commits

Commits on Jun 20, 2024