<aside> 🤓 Welcome to the wonderful world of proof development
</aside>
👋 Hi, I’m Tak,
proof.dev is my blog dedicated primarily to writings on computer science with a focus on proof engineering and, more generally, formal reasoning with the help of computers. Occasionally I may digress into other passions of mine, such as consensus protocols, blockchain engineering, biohacking and regenerative medicine.