Skip to content
View AntiKnot's full-sized avatar
🎯
Focusing
🎯
Focusing
45 followers · 293 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@ProjectShenron @Knot-Archive

Block or report AntiKnot

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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

5 stars written in Coq
Clear filter

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

Coq 1,294 196 Updated Feb 21, 2025

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

Coq 303 46 Updated Feb 12, 2025

AU-COBRA / ConCert

A framework for smart contract verification in Coq

Coq 118 19 Updated Jan 29, 2025

HIPERFIT / contracts

Symbolic financial contract EDSL

Coq 38 9 Updated Aug 26, 2020

ynot-harvard / ynot

The Ynot Project source code.

Coq 21 2 Updated May 5, 2014

Starred topics