| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2026-07-14 | Storage layer scaffolding, LMDB backend | Estevan Castilho | 1 | -4/+6 |
| 2026-07-11 | FOL: First Order Logic Execution Engine | Marcos Magueta | 1 | -4/+4 |
| 2026-07-09 | Interface for the storage layer | Estevan Castilho | 1 | -0/+5 |
