LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LeanDojo
Creator
Creator
Seonglae ChoCreated
Created
2022 Feb 21 13:51Editor
Editor
Seonglae ChoEdited
Edited
2023 Sep 3 23:46Refs
Refs
Loading views...
Seonglae ChoSeonglae Cho