RiccardoBiosas

RiccardoBiosas

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
23 Stars
2 Forks
23 Watchers

Repositories (1)

LeanGPT RiccardoBiosas/LeanGPT Coq

Experiments with interactive theorem provers, LLMs and formal systems

23