tag:github.com,2008:https://github.com/leanprover/KLR/releases 2025-12-17T16:09:16Z tag:github.com,2008:Repository/859347567/private_hbm_only 2025-12-17T16:09:16Z ppotapov-aws tag:github.com,2008:Repository/859347567/v4.23.2 2025-11-06T17:02:03Z seanmcl tag:github.com,2008:Repository/859347567/v4.23.1 2025-10-31T16:42:00Z seanmcl tag:github.com,2008:Repository/859347567/v4.23.0 2025-09-29T23:14:32Z seanmcl tag:github.com,2008:Repository/859347567/v0.0.12 2025-07-07T20:16:32Z govereau tag:github.com,2008:Repository/859347567/v0.0.11 2025-06-30T12:01:06Z govereau tag:github.com,2008:Repository/859347567/v0.0.10 2025-06-16T23:02:39Z <p>feat: implement simplify in C</p> <p>This code was written by Q by comparison with the lean code <br />in NKI/Simplify.lean</p> govereau tag:github.com,2008:Repository/859347567/v0.0.9 2025-03-29T00:11:05Z seanmcl tag:github.com,2008:Repository/859347567/v0.0.8 2025-03-11T20:11:42Z <p>chore: remove panic from Access.shape</p> <p>This change introduces well-formed conditions to the Access type, so that all <br />Access terms are correct by construction. The Options in the Index type are <br />also removed as these can be computed during tracing.</p> govereau tag:github.com,2008:Repository/859347567/v0.0.7 2025-02-12T20:42:19Z <p>chore: Bump version to 0.0.7</p> <p>Want new wheels to try arm linux</p> seanmcl