Giters
0art0
/
lean4-gym
A REPL-like interface for Lean4 tactic proofs.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
0
Issues:
0
Forks:
0art0/lean4-gym Stargazers
Junyan Xu
alreadydone
Anand Rao
0art0
