2 repos
hanwenzhu/lean-premise-server
Premise selection server for Lean
10
28 commits
hanwenzhu/LeanHammer-training
Premise selection training and evaluation for LeanHammer
8
24 commits
