Previous
Top
Next
Encouragement
Even without automation, constructing this proof took a couple of days, rather than a couple of weeks that some estimated.
Perhaps the value of automation is overrated?