<commit_before>HSeq Theorem Prover
===================

HSeq is a tactical theorem prover for typed higher-order logic. It is
experimental code and may have soundness bugs.

**Requirements:**

* OCaml 4.08
* GNU Make.
* Linux build environment.
* Texinfo, to build the documentaion (optional).

For installation instructions, see file INSTALL.

The system builds as a theorem prover library and an interface to the
OCaml toplevel. 

Programs
--------

* hseq - The interactive theorem prover.
* hseqb <file> - Run the theorem prover on script <file>
* hseqc <file> - Compile script <file> against the HSeq libraries.

Use option --help with hseqb and hseqc for the list of supported options.

Documentation
-------------

Documentation is installed in directories doc/html and doc/info. By<commit_msg>Update readme file<commit_after>HSeq Theorem Prover
===================

HSeq is a tactical theorem prover for typed higher-order logic. It is
experimental code and may have soundness bugs.

**Requirements:**

* OCaml 4.12.
* GNU Make.
* Linux build environment.
* Texinfo, to build the documentaion (optional).

For installation instructions, see file INSTALL.

The system builds as a theorem prover library and an interface to the
OCaml toplevel. 

Programs
--------

* hseq - The interactive theorem prover.
* hseqb <file> - Run the theorem prover on script <file>
* hseqc <file> - Compile script <file> against the HSeq libraries.

Use option --help with hseqb and hseqc for the list of supported options.

Documentation
-------------

Documentation is installed in directories doc/html and doc/info. By
{'fraction_non_alphanumeric': 0.10883084577114428, 'fraction_numerical': 0.0037313432835820895, 'mean_word_length': 3.7323529411764707, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 11, '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': '2290863', 'n_tokens_mistral': 463, 'n_tokens_neox': 446, 'n_words': 209}