wellecks / llemma_formal2formalLinks

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

Alternatives and similar repositories for llemma_formal2formal

Users that are interested in llemma_formal2formal are comparing it to the libraries listed below

Sorting: