GitHub repository: p-doom/gc-minimo
Primary language: Rust
Description: Goal-Conditionally Learning Formal Mathematics From Intrinsic Motivation