Andes A chain with lots of lemmas. More specifically, a logic programming engine. This is a work in progress research prototype. It might not even be correct.