Avatar for alf
RT @craigstuntz: Just solved a Project Euler problem with the Z3 theorem prover and zero imperative code. Woot.

2015-2018 Mokum.place