Robuta

https://lists.debian.org/debian-ocaml-maint/2023/01/msg00205.html Processing of coq-relation-algebra_1.7.8-2_source.changes relation algebra processing coq https://experts.umn.edu/en/datasets/translating-first-order-predicate-logic-to-relation-algebra-imple/ Translating First-Order Predicate Logic to Relation Algebra, Implemented Using Z3 -... first order predicate logic relation algebra translating https://researchconnect.buffalo.edu/en/publications/coincidence-of-essential-commutant-and-the-double-commutant-relat/ Coincidence of essential commutant and the double commutant relation in the Calkin algebra - SUNY... and the