Visual Propositional Logic With yscript

on YouTube ↗14m

" summary

yscript programs render as a live boxes-and-wires graph derived from source so edits update the view, with a VS Code extension using tree-sitter to map nodes back to text. The tool runs backend reasoning with Z3 and mirrors Data Lex features like hypothetical queries but adds goal-driven walkthroughs and the ability to set arbitrary fact values to explore consequences. Visual nodes are HTML rule boxes linking to the editor for editing.

AI-written summary · about

" chapters (8)

1. 0:00Introduction
2. 1:10What is yscript and propositional logic
3. 2:56Script’s interactive features
4. 4:21Limitations of explanation tools
5. 6:28Visual yscript tool
6. 8:56VS Code extension features
7. 10:42Conclusion
8. 11:47Q&A