https://lufreitas0000.github.io/ https://lufreitas0000.github.io/research.html https://lufreitas0000.github.io/about.html https://lufreitas0000.github.io/about/working-with-me.html https://lufreitas0000.github.io/notes/index.html https://lufreitas0000.github.io/notes/feed/kitaev-mf.html https://lufreitas0000.github.io/notes/feed/kitaev-derivation-jl.html https://lufreitas0000.github.io/notes/feed/bosonize-lean.html