Skip to content
View cu1ch3n's full-sized avatar
🎯
Focusing
🎯
Focusing
44 followers · 43 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx2

Highlights

Organizations

@NixOS @hkuplg

Block or report cu1ch3n

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

4 stars written in Coq
Clear filter

decrn / tilogics

Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.

Coq 11 1 Updated Aug 28, 2024

jiangsy / binding_technique_exp

Coq 5 Updated Apr 25, 2025

rogerbosman / hdm-fully-grounding

Formalization of a fully grounding type inference algorithm for the HDM system

Coq 3 Updated May 15, 2023

jiangsy / NbE_demo

Rocq Prover 2 Updated Jun 25, 2025