Pinned Loading

1. logictools logictools Public

   The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

   HTML 70 5

2. gkc gkc Public

   A reasoning system for large knowledge bases.

   C 29 6

3. priitj/whitedb priitj/whitedb Public

   WhiteDB memory database

   C 607 78

4. json-ld-logic json-ld-logic Public

   JSON representation of first-order logic formulas

   10 2