litexlang / golitex

Litex: write math, get formalized code. Because the math already is.