Deputy Director of Operations for Joint Systems Interdepartmental Operational Command
- Dublin, Ireland
- http://olivernash.org
Block or Report
Block or report ocfnash
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
leanprover-community/mathlib
leanprover-community/mathlib PublicLean 3's obsolete mathematical components library: please use mathlib4
-
icosahedral_quintic
icosahedral_quintic PublicDemonstrating Klein's icosahedral solution of the quintic equation
-
AIB_online_banking
AIB_online_banking PublicSecurity theatre at Allied Irish Banks: a demonstration in python
-
lean-shannon-lovasz
lean-shannon-lovasz PublicA project to formalise a proof that the Shannon capacity of the 5-cycle is √5
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.