feat: Simproc series part III: A concrete intro to writing simprocs#100

Paul-Lez wants to merge 1 commit intoleanprover-community:masterleanprover-community/blog:masterfrom

Paul-Lez:simprocs-final-postPaul-Lez/blog:simprocs-final-postCopy head branch name to clipboard