Open olaure01 opened 3 years ago
Suggested new feature: allow to graft a proof memorized through the share button inside the current proof (mostly on an open hypothesis).
share
Suggested new feature: allow to graft a proof memorized through the
share
button inside the current proof (mostly on an open hypothesis).