GitHub topics: equational-reasoning
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
thma/thma.github.io
Lambda is not a four letter word. My blog on all things haskell and FP.
Language: HTML - Size: 7.61 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 2
andreasabel/applicative
Haskell's applicative functors are multi-category functors
Language: TeX - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
neuro-symbolic-ai/latent_mathematical_reasoning
Multi-Operational Mathematical Derivations in Latent Space
Language: Python - Size: 503 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Language: TeX - Size: 5.13 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
