Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present an extension of a Coq library for relation algebras , where  provide support for cardinals in a point-free way. This makes it possible to reason purely algebraically, which is ll-suited for mechanisation.  discuss several applications in the area of graph theory and program verification.
['Paul Brunet', 'Damien Pous', 'Insa Stucke']
I am writing a research paper on a idea Cardinalities of Finite Relations in Coq
[{"from": "human", "value": "I am writing a research paper on a idea Cardinalities of Finite Relations in Coq"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present an extension of a Coq library for relation algebras , where  provide support for cardinals in a point-free way. This makes it possible to reason purely algebraically, which is ll-suited for mechanisation.  discuss several applications in the area of graph theory and program verification."}]