About Lebrun

Independent researcher in mathematical physics and formal methods. Focusing on constructing frameworks for quantum field theory within the Isabelle/HOL proof assistant. Since January 2025 culminating machine-verified proofs
#Quantum #Progress

Lists

Timeline

{username} has no activity yet