Skip to content

fix: tighten autoformalization evaluation semantics

6457d52
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add Lean 4 support #90

fix: tighten autoformalization evaluation semantics
6457d52
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
Ruff, Mypy, Pytest
succeeded Mar 13, 2026 in 40s