AIbase
Product LibraryTool Navigation

LeanGPT

Public

Experiments with interactive theorem provers, LLMs and formal systems

Creat2023-05-31T10:23:50
Update2025-02-08T07:20:50
20
Stars
0
Stars Increase

Related projects