github.com/litexlang/golitex
Litex: The Language Where Mathematics Verifies Itself.
https://github.com/litexlang/golitex
cargo: litex-lang 0.9.113-beta
The Language Where Mathematics Verifies Itself40 versions - Latest release: 10 days ago - 684 downloads total
Top 5.5% on proxy.golang.org
13 versions - Latest release: 4 months ago
go: github.com/litexlang/golitex v0.9.63-beta
Litex: The Language Where Mathematics Verifies Itself.13 versions - Latest release: 4 months ago