17 Oct 2022 - Notes on setting up Ivy in Python 3

Tags:
• ivy
• verification

30 Apr 2022 - Re-Proving the Coding Interview

Once more, with feeling

Tags:
• dafny
• verification

28 Apr 2022 - Proving the Coding Interview II

toString() 2 furious

Tags:
• dafny
• verification

17 Apr 2022 - Proving the Coding Interview

Applying interesting research to uninteresting interview problems

Tags:
• dafny
• verification