Open Source Radar
LLMs as Copilots for Theorem Proving in Lean
1.3kstars
126forks
4issues
MITlicense
2023since
Star historydaily snapshots by VibeCrowd
Collecting history — the radar snapshots this repo daily. The trend line appears after 3 days of data (1 so far).