petermr/declaratron-math archive