wellecks / llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments
16Updated last year

Related projects

Alternatives and complementary repositories for llemma_formal2formal