Lem, a tool for lightweight executable mathematics
This page has moved to github.