formal-languages
| Date | Project Name | 🎉 | ? | Tags |
|---|---|---|---|---|
| 01/27 |
Litex 0.7.11-beta
* [Litex 0.7.11-beta](https://github.com/litexlang/golitex) – Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
|
3
|
Go 651 ⭐439 days old |
golang ai go math formal-languages aiforscience |
| 01/27 |
Litex 0.7.01-beta
* [Litex 0.7.01-beta](https://github.com/litexlang/golitex) – Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
|
3
|
Go 651 ⭐439 days old |
golang ai go math formal-languages aiforscience |