litexlang

Litex: an intuitive and scalable formal language for coding your reasoning
Collective - Host: opensource - https://opencollective.com/litexlang - Website: https://litexlang.org/ - Code: https://github.com/litexlang/golitex

Top 5.5% on proxy.golang.org

go: github.com/litexlang/golitex v0.9.63-beta

Litex: The Language Where Mathematics Verifies Itself.
github.com/litexlang/golitex - 13 versions - Latest release: 4 months ago

cargo: litex-lang 0.9.113-beta

The Language Where Mathematics Verifies Itself
github.com/litexlang/golitex - 40 versions - Latest release: 9 days ago - 684 downloads total