🧮 Vandaag brengen we Leanstral uit - de eerste open-source code agent voor Lean 4, een efficiënte bewijsassistent die in staat is om complexe wiskundige objecten en software specificaties uit te drukken.