Solutions for the book "Language Proof and Logic".
Version 2 of my Crazy Small CPU
Athena is a modern, practical language for proof engineering & natural d...
Readings on computational logic, interactive theorem proving and functio...
A logic circuit simulator made with p5.js library.
Generates truth tables for formulas of sentential logic
根据逻辑表达式生成对应真值表 (Generate corresponding truth table from lo...
A JavaScript propositional logic and resolution library
An introductory workshop for binary math, basic electronics, logic gates...
Code for paper: Neural Logic Reasoning
O(N log N)-space IPC solver in OCaml
A Rust logic programming library inspired by the *Kanren family of langu...
xFunc provides a powerful parser and analyzer for mathematical expressio...
Logic Production System (LPS) programming language interpreter implement...
Logic Circuits from the Juice library