Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

Simple graph theory proofs using Coq

Tags:

Is there a well established Coq graph library for proving simple theorems ?

I would like to learn how to prove simple stuff like: "G1, G2 are isomorphic if and only if their complements are isomorphic".

Are there related/similar examples or tutorials available?

Related questions

Addresses of Thread Local Storage Variables
How does tessellation increase performance?
Automapper and mapping list within a complex object / nested mappings
Place comments inside a multi-line list literal
Docker remote api pull from Docker hub private registry
Observer.onError firing off inconsistently
Optimal/preferred way to call 'SP.ClientContext.executeQueryAsync' in SharePoint
reduce image size using imagemagick for batch of images
LWP::UserAgent Insists on verifying hostname
The purpose of ClosureCleaner.clean
Does .NET interop copy array data back and forth, or does it pin the array?
Install Composer fails with "The openssl extension is missing" error

Donate For Us

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!