schildep/verified-polygon-intersection
Instructions file
Instructions for schildep/verified-polygon-intersection, covering guideline on placement of definitions/theorems, network access and bash commands.
not rated 46 3mo ago A 746 tokens
original MIT