[Lean] Extend support for associated types

Open clementblaudeau opened this issue 3 months ago • 1 comments

Currently, the Lean Backend only support trait-local associated types, and no equality constraints (called generic projection constraints).

Sep 25 '25 14:09 clementblaudeau

This is especially useful for integration of Core-models (model of Rust core lib without unsupported-by-hax features)

Oct 06 '25 14:10 clementblaudeau