GitHub repository: GerbenKoopman/LeanReinforcement
Primary language: Python
Description: LeanReinforcement: A Hierarchical Reinforcement Learning Agent for Automatic Theorem Proving in Lean