Hacker Neus

Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)

720 points

by Poudlardo

a day ago |

Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37