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

2015-2016 Mokum.place