New posts in Isomorphism

How to understand that the types a and forall r. (a -> r) -> r are isomorphic

NetworkX: Subgraph Isomorphism by edge and node attributes