How much?
“... hope that end-users with some mathematical background will be able to use the system without the steep learning curve that is usually associated with proof assistants.
Another reasons for encouraging your children to take up maths as if one were needed.