llemma_formal2formal
Python
★ 20
updated 2y ago
Llemma formal2formal (tactic prediction) theorem proving experiments
No plain-English explanation yet — one is being written right now. Check back in a minute.