Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


ISETL is a high-level programming language for discrete mathematics, created by Richard J. Lipton and Robert Endre Tarjan. The language offers set-theoretic constructs and built-in facilities for lists, sets, and strings. ISETL supports arbitrary precision arithmetic and provides tools for writing formal specifications of algorithms, including the ability to conduct automated proofs using powerful equational reasoning capabilities.