search

RickySkywalker / TheoremLlama

This is the official repository for all the code of TheoremLlama
32 stars 2 forks source link

Plan to release the code #1

Open HZQ950419 opened 4 months ago

HZQ950419 commented 4 months ago

Hi,

Thanks for the interesting project! Can I ask if you have a plan to release the code, especially the evaluation code with Lean4?