proof-dictionary

Editor
mirror-kt/proof-dictionary