LeanGPT
PublicExperiments with interactive theorem provers, LLMs and formal systems
ai-agentsai-assisted-developmentchatgptformal-proofsgpt-3interactive-theorem-provinglangchainlean-theorem-proverllmmath
Creat:2023-05-31T10:23:50
Update:2025-02-08T07:20:50
22
Stars
0
Stars Increase