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
github.com/litexlang/golitex - 11 versions - Latest release: 12 months ago
go: github.com/litexlang/golitex v0.1.42-beta
LItex: The First Formal Language Learnable in 1-2 Hoursgithub.com/litexlang/golitex - 11 versions - Latest release: 12 months ago