Emulatibility Proof for Teradata's OVERLAPS on Google BigQuery
Primary LanguageCoq
This repository is not active