Code and datasets for the Tsetlin Machine

Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is writ…

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

Provides a Refl encoding in Rust

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Tutorial on the Convolutional Tsetlin Machine

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

An Inference Engine based on Propositional Calculus written in Common Lisp

Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features and multigranularity.

Python library for computational formal logic, formal semantics, and theorem proving

A set of tools for analyzing languages via logic and automata

From LTLf/LDLf To Automata

@logicbot@mathstodon.xyz

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

A computer algebra system for propositional logic

📝 A Rocq library written by members of PnV Discord Server

A propositional logic library.

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

A Library for Classical Propositional Logic in Agda

Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski