<commit_before>When there is a new release of an ATP, we should follow the following
procedure:

* In Apia, to update src/Apia/ATP.hs with the new version.

* In Apia, to test all the proved conjectures and notes.

    make prove_theorems
    make prove_notes

* In fotc/src/fot, to test all the proved conjectures if the ATP is a
  default one.

* In fotc/notes, to test all the proved conjectures if the ATP is a
  default one.

* In fotc/src/fot, to test the ATPs failures and to update the date:

    find -name 'UnprovedATP.agda'

* In fotc/notes, to test the ATPs failures and to update the date:

    find -name '*.agda' | xargs grep 'The ATPs could not'

* Test apia/notes/atps/equality/.

* Test apia/notes/tptp.

* In Apia and FOTC, to search for comments using the old version,
  i.e. something like

    find -name '*' | xargs grep -I 'old version' | sort

* In Apia, update README.md.
<commit_msg>Updated procedure when a new ATP is released.<commit_after>When there is a new release of an ATP, we should follow the following
procedure:

In Apia
========

* Update src/Apia/ATP.hs.

* Test all the proved conjectures and notes.

    make prove_theorems
    make prove_notes

* Test apia/notes/atps/test/equality/.

* Test apia/notes/tptp.

* Search for comments using the old version, i.e. something like

    find -name '*' | xargs grep -I 'old version' | sort

* Update README.md.

In FOTC
=======

* In fotc/src/fot, to test all the proved conjectures if the ATP is a
  default one.

* In fotc/notes, to test all the proved conjectures if the ATP is a
  default one.

* In fotc/src/fot, to test the ATPs failures and to update the date:

    find -name 'UnprovedATP.agda'

* In fotc/notes, to test the ATPs failures and to update the date:

    find -name '*.agda' | xargs grep 'The ATPs could not'

* Search for comments using the old version, i.e. something like

    find -name '*' | xargs grep -I 'old version' | sort

{'fraction_non_alphanumeric': 0.08771929824561403, 'fraction_numerical': 0.0, 'mean_word_length': 3.1167728237791934, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6689951', 'n_tokens_mistral': 681, 'n_tokens_neox': 641, 'n_words': 282}