I maintain a dictionary file suitable for use by ispell that contains terminology and names that can be used to for checking the spelling of documents related to programming languages, type theory, logic, mathematics, and computer science. Some contributions are courtesy of Janis Voigtländer. To use this dictionary with ispell rename it to .ispell_english (or whichever language is appropriate) and copy it to your home directory. At this point you may also run aspell-import to import it for use in aspell.

This dictionary is released into the public domain. Additions, corrections, and suggestions are welcome. (dictionary-1.02.txt)