Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] how to search axiom for graph

Email Gateway (Aug 22 2022 at 11:05):

From: Mandy Martin <tesleft@hotmail.com>
Hi

injective and surjective for function, what are the basic relationship in graphs? how to search them in Isabelle?
and how to search graph axioms for graph?
would like to find and visualize some relationships in graphs which express in graph but not easily to think and understand's concept.

Regards,
Martin

Last updated: Nov 21 2024 at 12:39 UTC