← All creators
E
Eve Bodnia
Follow
3 recommendations
Everything Eve personally uses, recommends, or has created — plus things they don't recommend — sourced from their own show and appearances on other podcasts.
Created by Eve
Recent episodes
All episodes →Showing 1 of 3 recommendations
Clear filters"They attach the external verifiers to it such as languages like Lean 4, which is a proof machine-verifiable language, proof language, which allows you to check this output using mathematical frameworks."