8000 new_design: Alternate proof formulation, maybe more readable? by eric-wieser · Pull Request #10 · pygae/lean-ga · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

new_design: Alternate proof formulation, maybe more readable?#10

Merged
utensil merged 1 commit intopygae:utensil/new_designfrom
eric-wieser:eric-wieser/new_design
Jul 29, 2020

Commits

Commits on Jul 28, 2020
0