3 Commits

Include renames

Author	SHA1	Message	Date
Greg Shuflin	ce97ad440e	Update toolchain to lastest version of Lean	2026-07-08 22:07:04 -07:00
Greg Shuflin	43f083ca95	Bump lean version to 4.26	2025-12-15 20:20:04 -08:00
Srayan Jana	6fdaf64761	got bindings building, but not right	2025-09-20 16:11:27 -07:00