LPL
Some answers are wrong, use at your own risk. (or try to solve it and create a pull request)
carlosantq / LPL
Licence: other
📚Solutions to Language, Proof and Logic (2nd Edition)
Stars: ✭ 21
Projects that are alternatives of or similar to LPL
LPL-solutions
Solutions for the book "Language Proof and Logic".
Stars: ✭ 51 (+142.86%)
Mutual labels: proof, logic, fitch, fitch-proofs, lpl
vulcan
A JavaScript propositional logic and resolution library
Stars: ✭ 56 (+166.67%)
Mutual labels: proof, logic
fitch.js
A lightweight Promise based HTTP client, using Fetch API.
Stars: ✭ 35 (+66.67%)
Mutual labels: fitch
react-json-logic
Build and evaluate JsonLogic with React components
Stars: ✭ 21 (+0%)
Mutual labels: logic
InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Stars: ✭ 12 (-42.86%)
Mutual labels: proof
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+366.67%)
Mutual labels: logic
Planeverb
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Stars: ✭ 22 (+4.76%)
Mutual labels: proof
OpenCircuits
A free, open source, online digital circuit/logic designer.
Stars: ✭ 140 (+566.67%)
Mutual labels: logic
imove
INACTIVE: Move your mouse, generate code from flow chart
Stars: ✭ 3,598 (+17033.33%)
Mutual labels: logic
Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+404.76%)
Mutual labels: logic
examples
Examples of NuID's zero knowledge authentication and key management facilities in various languages and frameworks. Open an Issue or PR if you'd like to see your favorite tool here.
Stars: ✭ 42 (+100%)
Mutual labels: proof
stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Stars: ✭ 70 (+233.33%)
Mutual labels: logic
VIATRA-Generator
An efficient graph solver for generating well-formed models
Stars: ✭ 21 (+0%)
Mutual labels: logic
Diffy
🎞️💓🍿 Love streaming - It's always best to watch a movie together ! 🤗
Stars: ✭ 37 (+76.19%)
Mutual labels: proof
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].