Pinned Loading

1. puzzle_cube puzzle_cube Public

   Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search

   Python 106 24

2. csb_neural_network csb_neural_network Public

   Training a neural network to compete in the Coder's Strike Back competition on CodinGame.com

   13

3. modulize modulize Public

   A Python decorator for converting a function into a module. It also includes tools for combining multiple Python files into one.

   Python 32 14

4. holist-communication-example holist-communication-example Public

   Example communicating with HOList

   Python 9 3

5. communicating-with-lean communicating-with-lean Public

   Prototype of back-and-forth tactic application in Lean through an external program.

   Jupyter Notebook 8 1

6. lean_proof_recording lean_proof_recording Public

   Proof recording for Lean 3

   Python 27 8