| Name | Version | Summary | date |
|---|---|---|---|
| recoma | 0.0.4 | A Python package to reason by communicating with agents | 2024-09-30 20:31:08 |
| coso | 1.1.5 | A solver for combinatorics math word problems. | 2023-05-28 16:42:16 |
| 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 |
|---|---|---|---|
| 23 | 1398 | 10506 | 264250 |