coq-wigderson

(★ 9)

Formalization of Wigderson's graph coloring algorithm in Coq

coq-wigderson Latest Version Download

Download Latest Version (.zip)

Today's picks

nvm ★ 94,671

Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versi

Shell
opencode ★ 199,829

The open source coding agent.

TypeScript
flask ★ 72,137

The Python micro framework for building web applications.

Python
immich ★ 112,236

High performance self-hosted photo and video management solution.

TypeScript
react ★ 247,532

The library for web and native user interfaces.

JavaScript
taste-skill ★ 78,877

Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop

JavaScript
// repository documentation