An easy-to-use simulator for logical circuits
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural...
Model finder for higher-order logic
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin...
A symbolic model checker for Dynamic Epistemic Logic.
Recursos de Matemáticas en Código Facilito
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framewo...
Replacement "chips" for NeoGeo systems
🎬 Logic-based interactive storytelling tool for running Logic Productio...
Fitch style proof constructor
Lightweight Dependency Injection Framework for Node.JS Apps - Structure ...