Projects

• Stop-and-wait proof » Proving correctness of the stop-and-wait protocol
• Transcriboid » A musical ear trainer web app