clarus/CompCert
The CompCert C verified compiler
A dockerfile to secure youtube-dl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
The CompCert C verified compiler
A proof of false in Coq.
Présentation de Coq pour le Lab.
A website of the OPAM packages for Coq.