Jordan Hallblog.oighty.comยทJun 9, 2022Dev's Journal 2Welcome back to the Dev's Journal. I'm going to try and make this a regular Thursday publication. The past week I mostly worked on project clean-up, bug fixes, researched formal verification, and did math. It was pretty fun. Building with Solmate Au...113 readsDev's JournalSolidityAdd a thoughtful commentNo comments yetBe the first to start the conversation.