#

leanflow

Here is 1 public repository matching this topic...

epfl-lara / AutoformalizedProjects

Fully autonomous Lean formalizations of mathematical papers generated by the LeanFlow agent harness.

theorem-proving mathematics lean formal-methods formal-verification ai-agents mathlib lean4 llm autoformalization leanflow

Updated Jul 2, 2026
HTML

Improve this page

Add a description, image, and links to the leanflow topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leanflow topic, visit your repo's landing page and select "manage topics."