Skillget
Explore
Submit Repo
Sign in with GitHub
EN
TR - Turkce
EN - English
1 results
mcp
ibrahimmian36/leanscreen
A calibrated faithfulness screen for informal↔Lean 4 pairs,…
Warn
Owner:
ibrahimmian36
Language:
Python
Stars:
6
Rating:
0.0