Jesse Michael Han

Results 2 repositories owned by Jesse Michael Han

lean-gptf

62
Stars
5
Forks
Watchers

Interactive neural theorem proving in Lean

lean-step-public

20
Stars
6
Forks
Watchers

Proof artifact co-training for Lean