heyting 0.15.1

Complex logical query answering over knowledge graph embeddings
Documentation