Avatar for alf
RT @craigstuntz: Just solved a Project Euler problem with the Z3 theorem prover and zero imperative code. Woot.
1 2 3 4 5 6 7 8 9 10

2015-2018 Mokum.place