From d31084e9726f8b300f3e6972746b95cf2a5bd120 Mon Sep 17 00:00:00 2001
From: timotheeMM <143833750+timotheeMM@users.noreply.github.com>
Date: Fri, 2 Feb 2024 08:46:22 +0100
Subject: [PATCH] #55: Fix broken link and typo in README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index eed5026..3d290b2 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ We describe a SQIR formalization of Shor's factoring algorithm in our draft [A F
 
 This repository contains our Coq formalization of SQIR and VOQC as well as several verified quantum algorithms. If you are interested in running the VOQC compiler, then you should look at our OCaml library ([inQWIRE/mlvoqc](https://github.com/inQWIRE/mlvoqc)) or Python library ([inQWIRE/pyvoqc](https://github.com/inQWIRE/pyvoqc)) instead. The OCaml library is extracted from our Coq definitions and the Python library is a wrapper around the OCaml library.
 
-If you are interested in learning more about formal verification of quantum programs in general, we recommend Robert Rand's [Verified Quantum Computing tutorial](http://www.cs.umd.edu/~rrand/vqc/index.html).
+If you are interested in learning more about formal verification of quantum programs in general, we recommend Robert Rand's [Verified Quantum Computing tutorial](https://rand.cs.uchicago.edu/vqc/index.html).
 
 ## Table of Contents
 
@@ -67,7 +67,7 @@ Our proofs are resource intensive so expect `make all` to take a little while. I
 ## Using With Other Projects
 
 To install SQIR, run 
-```opam pin coq-sqir htts://github.com/inQWIRE/SQIR.git```
+```opam pin coq-sqir https://github.com/inQWIRE/SQIR.git```
 
 To pull subsequent updates, run `opam install coq-sqir`.