Q*cert

jsast Public Forked from jscert/jscert

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Rocq Prover 2 12 0 0 Updated Feb 27, 2026

qcert Public

Compilation and Verification of Data-Centric Languages

Coq 60Apache-2.0 10 31 (2 issues need help) 1 Updated Jul 17, 2024

Archive for all Coq related OPAM packages organized in various repositories

OCaml 1LGPL-2.1 192 0 0 Updated Jul 1, 2023

HTML 0 0 0 0 Updated Jun 9, 2022

bug0007833 Public archive

Documents regression in OCaml type checker

OCaml 0 0 0 0 Updated Jul 30, 2018

An HTML documentation generator for Coq source files

OCaml 0GPL-2.0 13 0 0 Updated Jan 22, 2018

Navigation Menu