v0.6.2

Fix

• Exporting types for SimilarityFunc (6432960)

v0.6.1

Fix

• Exporting types for Proof and ProofStep (c909c6f)

v0.6.0

Feature

• Allow providing extra knowledge when proving (f1e53c8)

v0.5.0

Feature

• Adding ResolutionProver.extend_knowledge method to add knowledge to the prover later (d21dd91)

v0.4.0

Feature

• Adding similarity cache to speed up similarity calculations (5bd8c13)

v0.3.0

Feature

• Adding a 'max_similarity' helper to combine different similarity funcs (b92c35a)

v0.2.3

Fix

• Fixing bug when predicates with the same symbol occur in resolve with embeddings (17c138c)

v0.2.2

Fix

• Adding py.typed file (c01f016)

v0.2.1

Fix

• Adding typing_extensions dep explicitly (58e8340)

v0.2.0

Feature

• Enabling auto-publish (6fd5b89)