GitHub repository: sontungtran/pact-lean-low-resource
Primary language: Lean
Created: 2022-05-30T18:16:39Z
Description: A low-resource implementation of the paper Proof Artifact Co-training for Theorem Proving with Language Models