litexlang

Githubhttps://litexlang.comFollowers 41

代码库

litexlang/golitex

676

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

Rust

aiaiforscienceformal-languagesgolanglitexmathreasoning