GitHub - definfo/convex-hull: Formal verification of Graham's Scan algorithm in Rocq(Coq).

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.agents/skills		.agents/skills
QCP_examples		QCP_examples
SeparationLogic		SeparationLogic
convex-hull		convex-hull
tutorial		tutorial
.envrc		.envrc
.gitignore		.gitignore
AGENTS.md		AGENTS.md
Makefile		Makefile
flake.lock		flake.lock
flake.nix		flake.nix