Wybe Features and progress: Check proofs written in a syntax inspired by Dijkstra's predicate calculus Parsing syntax Checking proofs Support for VS Code Support for Sublime Text
