This Month in Hax: March 2026
In March, we successfully merged 8 pull requests!
This was a rather quiet month with some of us away for Real World Crypto and HACS in Taipei. But we continued to improve the Lean library with bugfixes and new additions like support for u128 and i128.
Special thanks to @JuanCoRo for improving and extending the treatment of binops in the Lean backend. And thank you @redshiftzero for your first PR!
Full list of PRs
- #1986: fix(lean): fix bugs found by claude
- #1982: fix: use specs for ops only in specset int
- #1979: add bitwise OR trait to
core_models::ops::bit - #1974: fix(lean): Remove unnecessary noncomputable tags
- #1973: This month in hax blog post 2026 02
- #1968: feat(lean): Int128 and UInt128
- #1966: [Engine] proper rejection for anonymous associated types.
- #1963: [Lean] Add more binops