Open Internet by MindsNetHow to get better at writing proofs without relying on explicit formal logic?