This repository was archived by the owner on May 29, 2026. It is now read-only.

All issues

Unable to install lean-gym due to outdated mathlib revision

#34

· ctseng777 opened

on Feb 8, 2025

Segmentation fault error

#31

· ayush1801 opened

on Feb 6, 2023

(Willing to PR) Support multi sub-goals, like what is done in `HyperTree Proof Search for Neural Theorem Proving`

#30

· fzyzcjy opened

on Jan 24, 2023

fail to setup

#28

· yxliu0903 opened

on Oct 20, 2022

How to search a customed theorem with lean-gym?

#27

· liebenxj opened

on Sep 11, 2022

How to integrate lean-gym with python?

#26

· venom12138 opened

on Sep 8, 2022

Decreasing Performance

#24

· todbeibrot opened

on Jul 19, 2022

Proof checks should happen after every tactic

#7

· jasonrute opened

on Jun 8, 2021