✏️ fix a couple minor details

cda-tum · May 30, 2024 · 262436e · 262436e
1 parent 344f6af
commit 262436e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/handbook/06_implementations.md b/docs/handbook/06_implementations.md
@@ -1,6 +1,6 @@
 # Open-Source Implementations
 
-All tools that have been developed as part of the _MQT_ are publicly available on [github.com/cda-tum](https://github.com/cda-tum}{github.com/cda-tum).
+All tools that have been developed as part of the _MQT_ are publicly available on [github.com/cda-tum](https://github.com/cda-tum).
 Many of these tools are powered by MQT Core, which forms the backbone of the entire toolkit.
 It features a comprehensive intermediate representation for quantum computations as well as a state-of-the-art decision diagram package for quantum computing and a dedicated ZX-calculus library.
 

diff --git a/docs/handbook/07_conclusions.md b/docs/handbook/07_conclusions.md
@@ -11,7 +11,7 @@ As the quantum computing landscape advances towards _Fault-Tolerant Quantum Comp
 
 ```
 
-We thank everyone that contributed to the development of the _Munich Quantum Toolkit_.
+We thank everyone who contributed to the development of the _Munich Quantum Toolkit_.
 Special thanks go to Alwin Zulehner, Stefan Hillmich, Thomas Grurl, Hartwig Bauer, Sarah Schneider, Smaran Adarsh, and Alexander Ploier for their specific contributions in the past.
 
 ```{only} latex

diff --git a/docs/index.md b/docs/index.md
@@ -20,7 +20,7 @@ Many of the problems to be tackled in that regard are similar to design problems
 The _[Munich Quantum Toolkit (MQT)](https://mqt.readthedocs.io)_ is a collection of software tools for quantum computing developed by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/) which explicitly utilizes this design automation expertise.
 Our overarching objective is to provide solutions for design tasks across the entire quantum software stack.
 This entails high-level support for end users in realizing their _applications_, efficient methods for the _classical simulation_, _compilation_, and _verification_ of quantum circuits, tools for _quantum error correction_, support for _physical design_, and more.
-These methods are supported by corresponding _data structures_ (such as decision diagrams) and _core methods_ (such as SAT encodings/solvers).
+These methods are supported by corresponding _data structures_ (such as decision diagrams or the ZX-calculus) and _core methods_ (such as SAT encodings/solvers).
 All of the developed tools are available as open-source implementations and are hosted on [github.com/cda-tum](https://github.com/cda-tum).
 
 ````{only} latex