## coi - Computational Object Inference

The coi books comprise a "shelf" of ACL2 books related to the modeling of "computational objects" such as processors, memories, kernels, microcode, and so on.

The term "coi" has at least three interpretations:

- an acronym for "Computational Object Inference".
- a French word for "quiet" or "silent". "en rester coi" can be translated as "to be left speechless".
- a deliberate misspelling of koi, Japanese for "carp" (鯉). The koi is the mascot of the coi books, and can be seen swimming in a Möbius-strip fishbowl in the coi logo. The koi is an apt analogue for the coi books, as the koi lurks just below the surface, and keeps getting bigger and bigger as it is fed. ;-)

NB: If "coi" is an offensive word in your native language, many apologies.