LeanDojo

Creator

Creator

Seonglae Cho

Created

Created

2022 Feb 21 13:51

Editor

Editor

Seonglae Cho

Edited

Edited

2023 Sep 3 23:46

Refs

Refs

lean-dojo • Updated 2023 Sep 3 6:48

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

https://leandojo.org/

Recommendations

///////