Pinned

1. LEGUP LEGUP Public

   Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

   Java 25 74

2. VisualLogic VisualLogic Public

   Program to express formal logic visually using existential graphs

   C# 4

3. Bram-File-Format Bram-File-Format Public

   An XML based file format for use in Bramhub software projects

   2 1

4. aris aris Public

   Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

   Rust 9 1

5. aris-java aris-java Public

   Forked from garberlog/ARIS

   Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

   Java 4 2