Digital logic design tool and simulator
A digital logic designer and circuit simulator.
Programming Language Theory 位螤
TypeDB: the power of programming, in your database
The Flix Programming Language
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Neuro-Symbolic AI with Pythonic Logic Language 馃尡馃悑馃實
A digital logic simulator
Curated list of Prolog packages and resources
Functional relational programming for Clojure(Script).
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
ACL2 System and Books as Maintained by the Community
Mejora tu l贸gica de programaci贸n y aprende mucho m谩s resolviendo estos ejercicios.
A free, open source, online digital circuit/logic designer.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A list of philosophy books and resources.
Reviewing some online CS courses I took
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."