proverbot.py File Reference

Go to the source code of this file.

Namespaces
	proverbot

Functions
def	proverbot.predict_tactic (net, s)
def	proverbot.predict_tactics (net, s, n)

Variables
	proverbot.net = load_net("cfg/coq.test.cfg", "/home/pjreddie/backup/coq.backup", 0)
def	proverbot.t = predict_tactics(net, "+++++\n", 10)