Pinned

1. draft_sketch_prove Public

   Python 13 1

2. Portal-to-ISAbelle Public

   https://albertqjiang.github.io/Portal-to-ISAbelle/

   Python 14 4

3. facebookresearch/miniF2F Public

   An updated version of miniF2F with lots of fixes and informal statements / solutions.

   Objective-C++ 21 4

4. INT Public

   Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

   Jupyter Notebook 23 2

5. Isa100days Public

   Isabelle

6. algorithmsPrinceton-Part1 Public

   Java