Announcement_19
Our preprint Conditional Separation as a Binary Relation. A Coq Assisted Proof, with Jean-Philippe Chancelier and Michel De Lara, is available on HAL.
Our preprint Conditional Separation as a Binary Relation. A Coq Assisted Proof, with Jean-Philippe Chancelier and Michel De Lara, is available on HAL.