- Revision 29512: /erg/tags/2023/openproof/scripts

• ..
• 712goals.txt
• corpus_test.py
• e2e.py
• fol2umrs.py
• goals.txt
• infix_to_prefix.py
• list2tuple.py
• process.py
• process.txt
• samples.txt
• xmlify