Skip to content
View kt3k's full-sized avatar
899 followers · 403 following

Sponsors

@zaq1tomo
@kazupon
@syumai
@daiiz

Sponsoring

@syumai

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx4Achievement: Galaxy BrainAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx4Achievement: Galaxy BrainAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@nodejsjp @kt3kstudio @strawjs @c3js @capsidjs @kebary @denoland @denolib @monoidcc
Block or Report

Block or report kt3k

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
Type: All
Language: Coq
Sort by: Most stars

Starred repositories

5 stars written in Coq
Clear filter

AbsInt / CompCert

The CompCert formally-verified C compiler

Coq 1,834 224 Updated Jul 24, 2024

math-comp / math-comp

Mathematical Components

Coq 560 111 Updated Jul 24, 2024

coq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Coq 156 19 Updated Jul 24, 2024

choukh / Set-Theory

A formalization of the textbook Elements of Set Theory

Coq 59 4 Updated Sep 30, 2021

coq-community / goedel

Archived since the contents have been moved to the Hydras & Co. repository

Coq 28 4 Updated Oct 23, 2022

Starred topics