All
JS
React
Ruby
Go
Postgres
Frontend
Node
formal-languages
Past 7d, sorted by best first, all versions
| 10/09 |
4
|
litexlang/Litex
1.0.6-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust
674☆
696d old
#golang
#ai
#rust
#go
#math
|
| 10/08 |
4
|
litexlang/Litex
1.0.5-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust
674☆
696d old
#golang
#ai
#rust
#go
#math
|
| 10/08 |
4
|
litexlang/Litex
1.0.3-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust
674☆
696d old
#golang
#ai
#rust
#go
#math
|
| 10/08 |
4
|
litexlang/Litex
1.0.1-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust
674☆
696d old
#golang
#ai
#rust
#go
#math
|