GitHub topics: propositional-logic

Repositories

Cubix1729/logicalpy

A Python library providing basic functionalities for manipulating propositional logic

Language: Python - Size: 813 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

PnVDiscord/PnVRocqLib

A Coq library written by members of PnV Discord Server

Language: Coq - Size: 496 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 8 - Forks: 1

khteh/pAIthon

Exploration of python language features and AI/ML.

Language: Python - Size: 232 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

fahmi-ramadhan/resolution-refutation

resolution refutation algorithm for propositional logic in python

Language: Python - Size: 5.76 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

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 written in Python with wrappers for C and CUDA-based clause evaluation and updating.

Language: Python - Size: 300 MB - Last synced at: about 22 hours ago - Pushed at: 6 days ago - Stars: 144 - Forks: 18

hjbolus/Mathematical-Logic-Through-Python

Python package that provides 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

Language: Python - Size: 517 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 6 - Forks: 3

Cubix1729/fitch-proof

A simple language for making propositional proofs in a Fitch-style natural deduction system

Language: Python - Size: 168 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

ChiefMonk/klm-algorithms

Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms - A project of the University of Cape Town

Language: Java - Size: 518 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

nowuX/rlpt

Lightweight truth table generator for propositional logic expressions.

Language: Rust - Size: 10.7 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 2 - Forks: 0

Etec-SA/frege

A propositional logic library.

Language: TypeScript - Size: 397 KB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 0

ozekik/mathesis

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

Language: Python - Size: 1.18 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 21 - Forks: 3

cair/TsetlinMachine

Code and datasets for the Tsetlin Machine

Language: Cython - Size: 491 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 475 - Forks: 51

cair/pyTsetlinMachine

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

Language: C - Size: 611 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 135 - Forks: 28

Centril/refl

Provides a Refl encoding in Rust

Language: Rust - Size: 20.5 KB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 68 - Forks: 3

Danco1201/Feasible

A pure-logical programming language

Language: C - Size: 80.1 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

AskarAbdullaev/pylogex

Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.

Language: Jupyter Notebook - Size: 1.51 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

M-Nad/Bloxorz_solver

Using propositional logic modeling and SAT solver to beat the strategy game Bloxorz 🧩

Language: Python - Size: 15.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

cair/convolutional-tsetlin-machine-tutorial

Tutorial on the Convolutional Tsetlin Machine

Language: Python - Size: 316 KB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 53 - Forks: 13

xamidi/mmsolitaire

My contributions to Metamath's mmsolitaire project.

Size: 687 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0

GutBla/TOOL_Editor_Proposicion_Logica

Editor de Proposiciones Lógicas que permite a los usuarios escribir, editar y calcular fórmulas lógicas de manera interactiva. Con soporte para valores lógicos y representación en LaTeX, es una herramienta útil para aprender y trabajar con lógica proposicional.

Language: JavaScript - Size: 815 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

GutBla/TOOL_Generador_de_Tabla_de_Verdad

Herramienta interactiva para generar tablas de verdad a partir de expresiones proposicionales. Está inspirado en la implementación de la Universidad de Stanford y permite a los usuarios ingresar fórmulas lógicas utilizando tanto la sintaxis de LaTeX como símbolos lógicos comunes (¬, ∧, ∨, →, ↔).

Language: JavaScript - Size: 2.2 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

tidianekhan/Knowledge_and_Data

Projects accomplished during university course "Knowledge and Data" for the Bachelors of Science in Artificial Intelligence from VU Amsterdam

Language: Jupyter Notebook - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

KhaledHosseini/propositional-logic

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

Language: Rust - Size: 6.07 MB - Last synced at: 22 days ago - Pushed at: 7 months ago - Stars: 3 - Forks: 1

jimmygian/cs50ai_minesweeper

My AI implementation of the classic MineSweeper game! Solution for an assignment in Harvard's CS50 AI course, demonstrating practical knowlefge of propositional logic.

Language: Python - Size: 182 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

cpressey/LCF-style-ND

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

Size: 123 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

MrMulia/WumpusWorld

ACO494: Foundations of Artificial Intelligence Project #1

Language: Java - Size: 187 KB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

RaphaelBonatti/propositional-logic-prover-python

A propositional logic prover implemented using resolution refutation.

Language: Python - Size: 43 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

brendanzab/agda-logic-playground

Messing around with propositional logic in Agda

Language: Agda - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

kanavgoyal898/propLog

propLog implements common logical operations such as NOT, AND, OR, IMPLIES, IFF, and XOR. The project supports the evaluation of logical expressions based on a model and checks if a knowledge base entails a query.

Language: Python - Size: 352 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

masoudhashemi/SATreeVerify

Verifying decision tree ensembles using propositional satisfiability

Language: Python - Size: 336 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Wadaboa/RandomKCNFSolver

Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI

Language: Python - Size: 288 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

Kujawadl/Gentzen

Automated Propositional Logic Proofs

Language: TypeScript - Size: 1.93 MB - Last synced at: 18 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

mklblm/KR-SAT-Solver

A built-from-scratch Python-based SAT Solver implementing the DPLL-recursive algorithm. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam

Language: Python - Size: 10.3 MB - Last synced at: 30 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1

costowell/theorem-prover

Verify equation truth using a custom logical language

Language: Rust - Size: 51.8 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 110 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 40 - Forks: 1

jonaprieto/agda-prop

A Library for Classical Propositional Logic in Agda

Language: Agda - Size: 442 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 1

Josgtg/propositional-logic-evaluator

A simple program that evaluates porpositional logic expressions

Language: Rust - Size: 80.1 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

cair/pyTsetlinMachineParallel

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

Language: C - Size: 290 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 41 - Forks: 9

jrcalgo/knowleJ-graph

Java library for propositional logic knowledge representation & proof writing with Neo4J

Language: Java - Size: 524 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

d1mavares/Minesweeper

AI to play Minesweeper. Minesweeper is a puzzle game that consists of a grid of cells, where some of the cells contain hidden “mines.” Clicking on a cell that contains a mine detonates the mine, and causes the user to lose the game. Clicking on a “safe” cell reveals a number that indicates how many neighboring cells contain a mine.

Language: Python - Size: 153 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 22 - Forks: 4

jakobjpeters/PAndQ.jl

A computer algebra system for propositional logic

Language: Julia - Size: 2.01 MB - Last synced at: 11 days ago - Pushed at: 9 months ago - Stars: 17 - Forks: 1

nclarius/pyPL

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

Language: Python - Size: 6.22 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 2

soaibsafi/limboole-vscode

Visual Studio Code extension for Limboole

Language: TypeScript - Size: 15.9 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

igreat/tiny-prover

A simple first order logic theorem prover using tableaux

Language: OCaml - Size: 1.13 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

venkideshVenu/S5-AI-Algorithms-Lab-2019-Scheme-KTU

Repository for the S5 AI Algorithms (2019 Scheme) at Kerala Technological University (KTU), featuring practical experiments on AI Algorithms like Basic search strategies, informed search algorithms, constraint satisfaction problems. etc.,

Language: Jupyter Notebook - Size: 402 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

University-Project-Repos/AI__A-star_search

Language: Python - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

maexled/logic-quiz-app

This project was part of the pratical course: Logic App Development

Language: Dart - Size: 20.7 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

ChakshuGupta13/propositional-logic-theorem-prover-using-resolution-refutation

Propositional Logic Theorem Prover using Resolution-Refutation takes Knowledge Base (i.e., formulae) and Query as input and implement a refutation proof (by first converting the given formulae into CNF), and report the result (1 if the query holds, and 0 otherwise). Additionally, the program have an option to print the resolution steps used in the proof.

Language: Python - Size: 72.3 KB - Last synced at: 30 days ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1

musty-ess/Minesweeper-AI-Agent-Using-Propositional-Logic

In this project, an AI agent that plays Minesweeper was implemented, utilizing propositional logic to make informed decisions about which cells to click.

Language: Python - Size: 178 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

musty-ess/Knights-and-Knaves-Logic-Puzzle-Solver-AI

This project is a Python-based solver for Knights and Knaves logic puzzles, based on the classic puzzles by Raymond Smullyan. In these puzzles, each character is either a knight, who always tells the truth, or a knave, who always lies.

Language: Python - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

vvulpes0/Language-Toolkit-2

A set of tools for analyzing languages via logic and automata

Language: Haskell - Size: 1.93 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 24 - Forks: 0

kanarus/rust_de_morgan

An example of proving De Morgan's laws in Rust type system

Language: Rust - Size: 11.7 KB - Last synced at: 20 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

knowsys/FormaleSysteme

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

Language: TeX - Size: 5.23 MB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

thabomoloi/extrc

A defeasible reasoning tool using Rational Closure and Lexicographic Closure.

Language: TypeScript - Size: 19.3 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

nstagman/clue_solver

Use Resolution to Solve a Game of Clue

Language: TypeScript - Size: 45.9 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

ningit/ctxform

Equivalence checker for contextual formulas

Language: Python - Size: 43.9 KB - Last synced at: 30 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

Okwesie/Set-Savants

This project focuses on the intersection of propositional logic, set theory, and Boolean algebra. We have developed a program that enables users to convert propositional expressions—containing variables, conjunctions, disjunctions, negations, and truth values—into various forms, including dual, set notation, and Boolean expression

Language: Python - Size: 7.81 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

catseye/Philomath

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

Language: C - Size: 51.8 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2

RaphaelBonatti/propositional-logic-truth-table-generator-python

This program generates a truth-table given a well-formed formula in propositional logic. The table can be printed to the terminal or saved as a HTML file.

Language: Python - Size: 43 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

anpotter/RBTL

A Logic of Relational Propositions

Language: Python - Size: 28.3 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

eZWALT/Logic-in-Information-Technology

FIB-LI 2022-23 Q1 Logics in Information Technology subject

Language: Prolog - Size: 20.4 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

SavinRazvan/minesweeper

An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

Language: Jupyter Notebook - Size: 158 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

SavinRazvan/knights

A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.

Language: Python - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

Hacker-Code-J/Software-Verification

Language: TeX - Size: 6.61 MB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

carlos-vf/Knowledge-Representation-Algorithms

Knowledge representation algorithms for bayesian networks and propositional logic

Language: Python - Size: 1.09 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

touist/touist

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

Language: OCaml - Size: 12 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 65 - Forks: 12

palmskog/fitch

Certified proof checker for Fitch-style propositional logic proofs

Language: Standard ML - Size: 169 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

afifabroory/SudokuAreEz-SAT

SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.

Language: Python - Size: 297 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

domamaric/UUI

Python solutions for Introduction to AI laboratory exercises.

Language: Python - Size: 1.21 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

div5yesh/ai-explorer

Rogue-like AI agent for an adaptation of DreamQuest game.

Language: Python - Size: 167 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 3

OnurArdaB/Artificial-Intelligence

Introductive Course to Artificial Intelligence

Language: Jupyter Notebook - Size: 1.19 MB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

boramalper/boolexman 📦

boolean expression manipulator for educational purposes

Language: JavaScript - Size: 961 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

plazajan/Propositional-Resolution

Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

Language: Prolog - Size: 110 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

lucasferreiraz/logisat

🧠 Classification of pathologies column using propositional logic satisfiability algorithms.

Language: Java - Size: 144 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DACUS1995/Semantic-Tableaux-Method-for-Propositional-Logic

Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.

Language: JavaScript - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

vitid/CSCI561

Code repository for CSCI561: Foundations of Artificial Intelligence

Language: Python - Size: 1.11 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

WojciechMigda/Tsetlini

Efficient parallelized implementation of Multilabel Classifier and Regressor Tsetlin Machines

Language: C++ - Size: 4.12 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

szHeron/Trabalho-Logica

Trabalho para a disciplina de lógica para computação.

Language: JavaScript - Size: 199 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

joshuacrotts/logic-learning-assistance-tool 📦

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1

raoulsuli/Knowledge-Management-and-Reasoning-D0034E

Knowledge Management and Reasoning Course (2023-2024)

Language: Jupyter Notebook - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DevAlencar/desafioLogica

Language: Java - Size: 30.3 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

dimglyn/propositional-logic

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

Language: Java - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

cjsmeele/properst

A Propositional Logic REPL

Language: Haskell - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

livrelogique/pravda

Pravda is a tool for teaching formal logic.

Language: TypeScript - Size: 174 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 2

ThaddeusOwl/propositional_logic_tool

Educational propositional logic tool for producing truth tables and checking logical properties.

Language: Dart - Size: 798 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

KiJeong-Lim/DschingisKhan

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Language: Coq - Size: 1.85 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 0

aidan-bailey/Logic.jl

A Julia implementation of Logics (WIP)

Language: Julia - Size: 88.9 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

DanielBelchamber/DiscoveringTruth

Language: JavaScript - Size: 380 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

PriorLax123/Propositional_Logic

This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

Language: Java - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

KrazyManJ/vyrologic

🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!

Language: TypeScript - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0