Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai783 pointsPoudlardo3 months agoLean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37