From 0dfe5debd17a22113efa317297bd72a05d69082e Mon Sep 17 00:00:00 2001 From: Dharmin Nagar <68629743+dharminnagar@users.noreply.github.com> Date: Tue, 15 Oct 2024 08:06:14 +0530 Subject: [PATCH] Update free-courses-en.md (#11536) * Update free-courses-en.md Adding a free formal verification course. closes #11535 * Update courses/free-courses-en.md Co-authored-by: Eric Hellman * Update courses/free-courses-en.md Co-authored-by: Eric Hellman --------- Co-authored-by: Eric Hellman --- courses/free-courses-en.md | 1 + 1 file changed, 1 insertion(+) diff --git a/courses/free-courses-en.md b/courses/free-courses-en.md index 5a20fd84d..13d487eb2 100644 --- a/courses/free-courses-en.md +++ b/courses/free-courses-en.md @@ -324,6 +324,7 @@ ### Blockchain +* [Assembly and Formal Verification](https://updraft.cyfrin.io/courses/formal-verification) - Cyfrin Updraft * [BerkeleyX: Blockchain Technology](https://www.edx.org/learn/blockchain/university-of-california-berkeley-blockchain-technology) - Rustie Lin and Nadir Akhtar * [Blockchain Developer Tutorials](https://www.youtube.com/playlist?list=PLS5SEs8ZftgUTXs0OJD2LFpYBPr4L54id) - Gregory McCubbin (Dapp University) * [Blockchain Essentials](https://cognitiveclass.ai/courses/blockchain-course) - CognitiveClass.ai