Popular repositories Loading

1. AI4FM-paper AI4FM-paper Public

   Forked from xianshang33/llm-paper-daily

   Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个

   8

2. AutoCard AutoCard Public

   Forked from GCS-ZHN/AutoCard

   浙江大学自动健康打卡，遇到问题可以查看/发起issue

   Java

3. JilinHu.github.io JilinHu.github.io Public

   JavaScript

4. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python

5. LEGO-Prover LEGO-Prover Public

   Forked from wiio12/LEGO-Prover

   Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries

   Python

6. Isa-REPL Isa-REPL Public

   Isabelle REPL

   Standard ML