math
| 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 ⭐440 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 ⭐440 days old |
golang ai go math formal-languages aiforscience |
| 01/25 |
KaTeX v0.16.28
* [KaTeX v0.16.28](https://github.com/KaTeX/KaTeX) – Fast and easy-to-use JavaScript library for TeX math rendering on the web.
Fast and easy-to-use JavaScript library for TeX math rendering on the web.
|
6
|
JavaScript 19745 ⭐4589 days old |
javascript math math-typesetting latex katex |