Block or Report
Block or report rodlogic
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia