GitHub repository: James-Oswald/VirtualSlate
Primary language: GDScript
Created: 2023-09-12T22:10:03Z
Description: Propositional Natural Deduction Proof Graphs in 3D Virtual Reality (Work In Progress)