| Name | Version | Summary | date |
|---|---|---|---|
| dbyoke | 0.1.3 | A library to unify database connections and drivers | 2024-11-26 18:15:32 |
| logical-unification | 0.4.6 | Logical unification in Python | 2023-05-06 21:56:13 |
| tensor-theorem-prover | 0.14.0 | Customizable first-order logic theorem prover supporting approximate vector similarity in unification | 2023-02-07 17:24:31 |
| hour | day | week | total |
|---|---|---|---|
| 93 | 1102 | 1114 | 291948 |