Abundant Labs
Pinned Loading
Repositories
Showing 10 of 36 repositories
-
-
- theoremsmith Public
Turn a Lean 4 repository into a graded proof task: build it, cut a theorem's proof, and grade a solver's replacement.
-
-
- old-harbor Public Forked from harbor-framework/harbor
Harbor is a framework for running agent evaluations and creating and using RL environments.