heyting 0.5.0

Complex logical query answering over knowledge graph embeddings
Documentation