Contributions:1 PR, 4 pushes, 1 branch in 2 years 7 months
avratmelmicrocontrolleravr-gccgcc
Inspired by Jupyter and Pluto notebook systems, Security Notebooks is supposed to be a notebook system specifically designed for use in teaching formal methods with a focus on security.
Contributions:49 commits, 3 PRs, 40 pushes in 4 months
formal-methodsjupytersecurity