Skip to content
View cagix's full-sized avatar
103 followers · 419 following

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@GermanTestingBoard @IUCompilerCourse @VR-Pioneers @cmput415-Fall20 @Dungeon-CampusMinden @Artificial-Intelligence-HSBI-TDU @Compiler-CampusMinden @aovim @Programmiermethoden-CampusMinden

Block or report cagix

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Lists (11)

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

MetaRocq / metarocq

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

Rocq Prover 523 97 Updated May 7, 2026

PrincetonUniversity / VST

Verified Software Toolchain

Rocq Prover 495 98 Updated Apr 26, 2026

rocq-community / fourcolor

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

Rocq Prover 237 24 Updated Apr 1, 2026

fplaunchpad / cs6225_s25_iitm

Programs and Proofs -- Spring 2025 -- IITM

Coq 20 4 Updated May 10, 2025

fplaunchpad / cs6225_s21_iitm

Course Website for CS6225: Programs and Proofs @ IIT Madras

Coq 13 2 Updated Apr 28, 2021

Starred topics

See all starred topics