Pinned Loading

1. Topological-Quantum-Computation Topological-Quantum-Computation Public

   Done for the seminar: Advanced Topics of Quantum Computing @TUM in Winter Semester 24/25.

   TeX 1

2. topological-quantum-compiling topological-quantum-compiling Public

   Efficient synthesis of Fibonacci anyon circuits

   Python 1

3. MolSim MolSim Public

   Done for the practical course "Molecular Dynamics" @tum in the winter semester 24/25.

   C++ 2

4. bachelors-thesis bachelors-thesis Public

   TeX

5. maths-notes maths-notes Public

   TeX

6. lean-booleanfun lean-booleanfun Public

   Forked from roos-j/lean-booleanfun

   Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.

   Lean