3 ms·Might be of interest but a few blockchain projects use formal methods like Agda, Coq, TLA+, etcby exdsq 5y agoMight be of interest but a few blockchain projects use formal methods like Agda, Coq, TLA+, etc