<commit_before># Universe Comparator

A plugin for Coq that provides comparison of universe levels. For details of how it works see https://amintimany.github.io/UniverseComparator/html/test.html

## Compatibility
This plugin works with Coq 8.5.

Versions 1.0 and 1.0.1 are compatible with Coq8.5~beta2 and earlier.
For the documentation of UniverseComparator 1.0.1 see https://amintimany.github.io/UniverseComparator/older_versions/v1.0.1/html/test.html  
Version 1.1 is compatible with Coq8.5~beta3.

## Compile & Install
You need to have coq_makefile, coqc and ocamlc on the path. To compile use:

``./configure.sh``  
``make``

To install use:  

``make install``

## Acknowledgement
I would like to thank the organizers of the [First Coq Coding Sprint](https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1). I would also like to specially thank <NAME> and <NAME> for their help.<commit_msg>OPAM instructions<commit_after># Universe Comparator

A plugin for Coq that provides comparison of universe levels. For details of how it works see https://amintimany.github.io/UniverseComparator/html/test.html

## Compatibility
This plugin works with Coq 8.5.

Versions 1.0 and 1.0.1 are compatible with Coq8.5~beta2 and earlier.
For the documentation of UniverseComparator 1.0.1 see https://amintimany.github.io/UniverseComparator/older_versions/v1.0.1/html/test.html  
Version 1.1 is compatible with Coq8.5~beta3.

## Install with OPAM
Add the OPAM repository:

    opam repo add coq-released https://coq.inria.fr/opam/released

and run:

    opam install coq-universe-comparator

## Install from source
You need to have `coq_makefile`, `coqc` and `ocamlc` on the path. To compile use:

``./configure.sh``  
``make``

To install use:  

``make install``

## Acknowledgement
I would like to thank the organizers of the [First Coq Coding Sprint](https://coq.inria.fr/cocorico/CoqCodingSprint/CoqCS1). I would also like to specially thank <NAME> and <NAME> for their help.
{'fraction_non_alphanumeric': 0.09613428280773144, 'fraction_numerical': 0.022380467955239063, 'mean_word_length': 4.30188679245283, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 7, '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': '5335604', 'n_tokens_mistral': 660, 'n_tokens_neox': 638, 'n_words': 222}