logic topic
NALU
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
relic
Functional relational programming for Clojure(Script).
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
schuller-geometric
Source code for lecture notes
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...