wasm core runs in web browser, with rich UI for theorem proving
published 0.1.0 6 years ago- published 0.0.1 6 years ago
logic-db is a js lib to combine logic programming and database
published 0.0.1 6 years ago- published 0.0.1 6 years ago
- [wikipedia page about cell complex](https://en.wikipedia.org/wiki/cell_complex)
published 0.0.3 6 years ago[ [HOMEPAGE](https://cicada-lang.org) | [PLAY](https://cicada-lang.org/playground) ]
published 0.8.25 12 days ago