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

Wallace_Lebrun has no activity yet