Bridge

Software / App

A framework using Lean as a functional programming language to help LLMs prove code.

Mentioned in 1 video