From Zero to QED: An informal introduction to formality with Lean 4

Quantum information theory in Lean 4

Explicit solutions for the F- and R-symbols for the Drinfeld double of the Haagerup fusion category. Computed with the Julia package TensorCategories.jl

A review article on conformal field theory

The Julia Programming Language

evoMPS

An implementation of the time dependent variational principle for matrix product states