formal-languages
| Date | Project Name | 🎉 | ? | Tags |
|---|---|---|---|---|
| 12/10 |
Litex 0.2.01-beta
* [Litex 0.2.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 615 ⭐393 days old |
golang ai go math formal-languages aiforscience |