Raito Bezarius
#Lix developer, #NixOS developer, #Lean theorem prover user. My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politic…
#Lix developer, #NixOS developer, #Lean theorem prover user. My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politic…