Skip to content
View Vtec234's full-sized avatar
86 followers · 8 following

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf

Block or report Vtec234

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

Stars

5 stars written in Coq
Clear filter

UCSD-PL / proverbot9001

Coq 40 18 Updated Dec 5, 2024

smtcoq / sniper

Coq 35 6 Updated Oct 24, 2024

mit-plv / rewriter

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

Coq 22 21 Updated Dec 6, 2024

TheoWinterhalter / ett-to-itt

Coq formalisation and plugin of a translation from ETT to ITT

Coq 6 Updated Apr 10, 2021

airxhi / CompCert

Coq 1 Updated Apr 24, 2020