Thanks to visit codestin.com
Credit goes to Github.com

Skip to content
View ZippeyKeys12's full-sized avatar
31 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report ZippeyKeys12

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

Tactics

6 repositories

smtcoq / sniper

Coq 38 6 Updated Feb 11, 2026

rocq-archive / ipc

Intuitionistic Propositional Checker

Coq 5 2 Updated Feb 10, 2023

rocq-community / aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

OCaml 36 24 Updated Oct 28, 2025

charguer / tlc

Library for Classical Coq

Rocq Prover 40 14 Updated Jan 20, 2026

olaure01 / ollibs

Add-ons for the Coq Standard Library

Rocq Prover 2 1 Updated Nov 11, 2025

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

Rocq Prover 51 28 Updated Feb 13, 2026