<commit_before># coq-bitset

## Description

The purpose of this library is to help proving bit-level algorithms written in Coq/SSReflect
by providing a trivial conversion from operations over bitsets to finite sets and efficient
proved extraction to Caml.

## Installation

### Installing with OPAM (strongly recommended)

Everything can be installed everything by using
[OPAM](https://opam.ocaml.org/doc/Install.html).

You first need to add some coq-related repositories:
```shell
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
```<commit_msg>Add link to the documentation in the README<commit_after># coq-bitset

## Description

The purpose of this library is to help proving bit-level algorithms written in Coq/SSReflect
by providing a trivial conversion from operations over bitsets to finite sets and efficient
proved extraction to Caml.

A documentation of the library can be found [here](https://artart78.github.com/coq-bitset/).

## Installation

### Installing with OPAM (strongly recommended)

Everything can be installed everything by using
[OPAM](https://opam.ocaml.org/doc/Install.html).

You first need to add some coq-related repositories:
```shell
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
```
{'fraction_non_alphanumeric': 0.09124087591240876, 'fraction_numerical': 0.00145985401459854, 'mean_word_length': 4.760504201680672, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '548559', 'n_tokens_mistral': 422, 'n_tokens_neox': 400, 'n_words': 152}