RAIRLab/VirtualSlate
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
GDScript
Issues
- 0
Add VR Controls
#29 opened by James-Oswald - 0
Unit Tests for Proof Graph Class
#3 opened by James-Oswald - 0
Github Actions for basic tests
#5 opened by James-Oswald - 0
Github Actions for Deployment
#4 opened by James-Oswald - 0
- 0
Basic Movement Controls in 3d Space
#13 opened by James-Oswald - 0
VR Keyboard in Godot
#14 opened by James-Oswald - 0
Display Proof Graphs in Godot
#2 opened by James-Oswald - 1
- 0
- 2
- 0
Insertion: takes a point in 3d space (in the future will take a formulae) and creates a node at that position
#6 opened by James-Oswald - 0
Camera Should Spin
#7 opened by James-Oswald