proof(coq): #133 rescue rebase + discharge eval_deterministic#24

hyperpolymath merged 6 commits into

mainhyperpolymath/absolute-zero:mainfrom

rebase/133-rescue-onto-mainhyperpolymath/absolute-zero:rebase/133-rescue-onto-mainCopy head branch name to clipboard