Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "propositional-logic" keyword

View the packages on the crates.io package registry that are tagged with the "propositional-logic" keyword.

refl 0.2.1
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivale...
6 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 19.3 thousand downloads total - 68 stars on GitHub - 1 maintainer
propositional 0.1.0-alpha.2
Propositional Logic
2 versions - Latest release: about 1 year ago - 2.03 thousand downloads total - 0 stars on GitHub - 1 maintainer
boolean-logic 0.1.3
propositional logic evaluator that creates truth tables for propositional expressions
4 versions - Latest release: 9 months ago - 3.69 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
rust 2 type-level 1 refl 1 propositional 1 equality 1 gadt 1 type-system 1 logic 1 bool-logic 1 boolean-expression 1 boolean-logic 1 truth-table 1 rust-lang 1 truth-table-generator 1