The Tatami Database

---

The tatami database stores proofs and specifications, arranged by project. The current implementation uses the Mini-SQL relational database, which is written in Java and runs in client-serve mode.

---

28 May 1998