lem

Lem is a tool for lightweight executable mathematics