The Principia Rewrite
latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy
-
Updated
Nov 24, 2025 - TeX
#
formal-logic
Here are 33 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Supplementary materials for Discrete Math course at ITMO University
tex homework set-theory cheatsheet discrete-mathematics graph-theory combinatorics binary-relations boolean-satisfiability formal-logic typst
-
Updated
Mar 18, 2026 - Typst
Python library for computational formal logic, formal semantics, and theorem proving
semantics proof logic philosophy first-order-logic propositional-logic prover mathematical-logic formal-logic symbolic-logic philosophical-logic
-
Updated
Dec 13, 2025 - Python
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
java computer-science gui logic philosophy first-order-logic teaching propositional-logic formal-logic predicate-logic logic-proofs
-
Updated
Jun 20, 2021 - Java
Formal logic deduction based on system-L
-
Updated
Apr 27, 2020 - Python
Kripke semantics
-
Updated
Jan 1, 2018 - PureScript
A Python package for deal with logical formulas and formal systems (e.g. FOL)
logic first-order-logic ltl formal-methods propositional-logic formal-languages linear-temporal-logic logic-formalisms formal-logic ldlf ltlf
-
Updated
Aug 31, 2018 - Python
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
-
Updated
Aug 19, 2022 - Java
SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic), part of project CyFORT, offers a suite of tools for computer-aided CTI analysis and automated incident handling informed by CTI, provided respectively by its sub-systems SATRAP and DECIPHER.
docker cli correlation analysis inference python3 type-theory cti jupyter-notebooks semantic-search semantic-technologies automated-reasoning inference-engine formal-logic threat-intelligence-platform cyber-threat-intelligence stix2 typedb
-
Updated
Mar 17, 2026 - Python
LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
-
Updated
Mar 23, 2021 - TeX
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
computer-science automata homework logic infinite temporal-logic formal-methods formal-verification formal-languages computability-theory formal-logic
-
Updated
Apr 5, 2023
A theoretical framework introducing the Non-Turing Machine: a deterministic, structure-driven model of machine order based on UDML, formal axioms, functional intentionality, and the declarative L-OPS language. This repository consolidates the core papers defining the architecture, logic, and conceptual foundations of this new machine type.
formal-semantics system-architecture formal-logic computational-theory intentionality declarative-languages deterministic-systems udml non-turing-machine structural-determinism functional-intentionality machine-intentionality l-ops perspective-layers axiomatic-systems beyond-turing machine-structure deterministic-transition-models theoretical-machine-models foundations-of-artificial-systems
-
Updated
Dec 7, 2025
A Python library providing basic functionalities for manipulating propositional logic
logic propositional-logic mathematical-logic propositional-calculus propositional-resolution formal-logic
-
Updated
May 25, 2025 - Python
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
logic propositional-logic fitch propositional-calculus fitch-proofs formal-proofs propositional-proof-system formal-logic sentential-calculus
-
Updated
Oct 11, 2022 - Python
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
-
Updated
Jun 11, 2023 - C++
URF Axioms -- formal axiomatization of the Unified Rigidity Framework, defining primitives, admissibility conditions, and base invariants.
reproducible-research formal-methods formal-verification mathlib formal-logic axioms lean4 unified-rigidity-framework rigidity-theory
-
Updated
Mar 18, 2026 - TeX
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
-
Updated
Aug 15, 2022 - JavaScript
Online tool for graphing entity relations
-
Updated
Dec 13, 2024 - JavaScript
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
formal-semantics formal-methods smt formal-languages sat hoare-logic formal-specification formal-logic
-
Updated
Jan 26, 2023 - HTML
Improve this page
Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."