0
stars
2
commits
1
linked in READMEs
Dec 5, 2023
updated
1 commits
apapiu/small_ldt
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
cactuskid13/ESMpp_small_3Di
whaohan/bpt
9
huggingface/funnel-small-base
huggingface/funnel-small
SOTAMak1r/GST
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
1,322
