Popular repositories Loading

1. lean-premise-selection lean-premise-selection Public

   Lean 21 4

2. ATPboost ATPboost Public

   Python 4 1

3. premise-selection-deepmath-style premise-selection-deepmath-style Public

   Python 3 1

4. transformers-for-mathematics transformers-for-mathematics Public

   Python 3

5. rewriting-with-NNs rewriting-with-NNs Public

   OpenEdge ABL 2 1

6. rnn-for-proving-data rnn-for-proving-data Public

   2 1