https://github.com/siraben/coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq
https://github.com/siraben/coq-wigderson

coq formalization graph-algorithms graph-coloring

Last synced: about 1 month ago
JSON representation

Formalization of Wigderson's graph coloring algorithm in Coq

• Host: GitHub
• URL: https://github.com/siraben/coq-wigderson
• Owner: siraben
• License: mit
• Created: 2022-03-03T19:12:45.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-10-13T17:50:57.000Z (about 1 year ago)
• Last Synced: 2024-09-30T20:43:19.511Z (about 1 month ago)
• Topics: coq, formalization, graph-algorithms, graph-coloring
• Language: Coq
• Homepage:
• Size: 988 KB
• Stars: 8
• Watchers: 1
• Forks: 2
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Towards the Formal Verification of Wigderson’s Algorithm

**Created by: Ben Siraphob (siraben) and Jamison Homatas (jhomatas48)**

We present progress towards the formal verification of Wigderson's

graph coloring algorithm in Coq. We have created a library of

formalized graph theory that aims to bridge the literature gap between

introductory material on Coq and large-scale formal developments,

while providing a motivating case study. Our library contains over 180

proven theorems.

Using Nix, run `nix-shell` then run `make` to compile it.

## License

This software is licensed under the MIT license.