Merge branch 'prepare_paper' into 'main'

Configuration/config.ini

Datasets/originals/processingTXT.py

Linker/Linker.py

Linker/utils_linker.py

NeuralProofNet/NeuralProofNet.py

README.md

SuperTagger/Datasets/index_to_pos1.pkl

SuperTagger/Datasets/index_to_super.pkl

SuperTagger/Datasets/m2_dataset.csv

SuperTagger/Datasets/m2_dataset_V2.csv

SuperTagger/Datasets/originals/m2.txt

SuperTagger/Datasets/originals/processingTXT.py

SuperTagger/README.md

SuperTagger/SuperTagger/SentencesTokenizer.py

SuperTagger/SuperTagger/SuperTagger.py

SuperTagger/SuperTagger/SymbolTokenizer.py

SuperTagger/SuperTagger/Tagging_bert_model.py

SuperTagger/SuperTagger/eval.py

SuperTagger/__init__.py

SuperTagger/setup.cfg