3 ms·
This would be even better if it was possible to annotate the randomly generated "proof" description with links to any actual proofs following that skeletal desc
by RodgerTheGreat 15y ago
This would be even better if it was possible to annotate the randomly generated "proof" description with links to any actual proofs following that skeletal description.