We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
Martin Reiss
@PraiseIommi
"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth