Skip to content
View equalunique's full-sized avatar
Block or Report

Block or report equalunique

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
8 stars written in Coq
Clear filter

The CompCert formally-verified C compiler

Coq 1,822 221 Updated Jul 8, 2024

A Coq library for Homotopy Type Theory

Coq 1,231 185 Updated Jul 9, 2024

Formal Reasoning About Programs

Coq 644 83 Updated Jun 6, 2024

A framework for formally verifying distributed systems implementations in Coq

Coq 576 55 Updated May 17, 2024

🐣 A blog engine written and proven in Coq

Coq 177 9 Updated Dec 1, 2019

Compilation and Verification of Data-Centric Languages

Coq 55 9 Updated Jul 8, 2023

Porn browser formally-verified in Coq

Coq 51 1 Updated Aug 26, 2017

A blog about Coq

Coq 45 5 Updated Apr 12, 2022