Geeks
zsoltzombori
/
plcop
Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
Primary Language
OpenEdge ABL
plcop GitHub
Markdown
Readme
0
Issues
10
Stargazers
3
Watchers
Stargazers
14H034160212
University of Auckland
AHartNtkn
Heliax
AlecS12
Arlington, MA
automenta
ggsonic
hadfield
Vital AI
jdnklau
University of Düsseldorf
randyriemann
Alibaba DAMO Academy
Sujingqiao