Skip to content
View pSub's full-sized avatar
59 followers · 48 following

Sponsoring

@dani-garcia
@xmonad

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@NixOS @yesodweb @frankfurt-haskell-user-group @red6
Block or Report

Block or report pSub

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 (2)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Type: All
Language: Coq
Sort by: Most stars
6 stars written in Coq
Clear filter

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

Coq 1,231 186 Updated Jul 18, 2024

PrincetonUniversity / VST

Verified Software Toolchain

Coq 431 91 Updated Jul 18, 2024

MetaCoq / metacoq

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

Coq 362 79 Updated Jul 18, 2024

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

Coq 145 30 Updated May 9, 2024

codyroux / name-the-biggest-number

Coq 62 6 Updated Sep 13, 2022

coq-community / lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

Coq 26 6 Updated Jan 20, 2022