menu
Exporting Proof Assistant Libraries by
PD Dr. Florian Rabe
on
23 Sep 2022
in
Announcements

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