/VirtualSlate

VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.

Primary LanguageGDScript

Stargazers