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.
