Tools & Resources

Please use the Ed Stem tool for asking and answering questions outside of class! 

• I will check posts and provide guidance.

• Please also do the same for your classmates! 

Lydia Cheah's Theory of Computation videos

• (learn more about her journey) 

Check out The Incredible Proof Machine for an interactive interface that helps to practice formal logic for proofs!

http://turingmachine.io Turing machine simulator