Florian Rabe gives invited talk at EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs.
Florian Rabe gives invited talk at EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs.