Nobody verifies it because there isn't a ZFS axiom system for software development and you first need a spec to prove anything- Then perhaps fix Lean's type system, which isn't really understood and has holes. Can these…
She was pretty restrained. Erlich Bachman's way of dealing with the robot deer might be the future. I wonder why children haven't discovered a "block the robot" game yet and score points for the longest blockade. Maybe…
Nobody verifies it because there isn't a ZFS axiom system for software development and you first need a spec to prove anything- Then perhaps fix Lean's type system, which isn't really understood and has holes. Can these…
She was pretty restrained. Erlich Bachman's way of dealing with the robot deer might be the future. I wonder why children haven't discovered a "block the robot" game yet and score points for the longest blockade. Maybe…