A Fitch's style natural deduction proof editor
-
Updated
Sep 25, 2013 - JavaScript
A Fitch's style natural deduction proof editor
this program is implemented in C++ and solves simples logic problem using the resolution method
This repository contains the codes for various type of circuits simulated in VHDL in Xilinx ISE Design.
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado
Logical programming in JavaScript
Demo of the Monty Python witch scene with core.logic
Propositional calculus in Haskell
Sum and sub operation with logic operation MIPS
Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."