schildep/verified-polygon-intersection — Instructions

46Stars on the repository

2Mods indexed here, across every type

3mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Instructions file

Instructions for schildep/verified-polygon-intersection, covering guideline on placement of definitions/theorems, network access and bash commands.

46 3mo ago A 746 tokens original MIT