GitHub repository: rocq-archive/area-method
Primary language: Coq
Description: The Chou, Gao and Zhang area method