[Farith] Use external farith version
Showing
- .gitlab-ci.yml 2 additions, 8 deletions.gitlab-ci.yml
- dune-project 0 additions, 4 deletionsdune-project
- farith2.opam 0 additions, 24 deletionsfarith2.opam
- farith2/.gitignore 0 additions, 45 deletionsfarith2/.gitignore
- farith2/.ocamlformat 0 additions, 0 deletionsfarith2/.ocamlformat
- farith2/Makefile 0 additions, 13 deletionsfarith2/Makefile
- farith2/Readme.md 0 additions, 18 deletionsfarith2/Readme.md
- farith2/_CoqProject 0 additions, 1 deletionfarith2/_CoqProject
- farith2/doc/coq2html.js 0 additions, 25 deletionsfarith2/doc/coq2html.js
- farith2/dune 0 additions, 10 deletionsfarith2/dune
- farith2/extract/dune 0 additions, 6 deletionsfarith2/extract/dune
- farith2/extract/extraction.v 0 additions, 272 deletionsfarith2/extract/extraction.v
- farith2/extract/farith_Big.ml 0 additions, 267 deletionsfarith2/extract/farith_Big.ml
- farith2/extracted/Assert.ml 0 additions, 19 deletionsfarith2/extracted/Assert.ml
- farith2/extracted/Assert.mli 0 additions, 15 deletionsfarith2/extracted/Assert.mli
- farith2/extracted/BinInt.ml 0 additions, 83 deletionsfarith2/extracted/BinInt.ml
- farith2/extracted/BinInt.mli 0 additions, 17 deletionsfarith2/extracted/BinInt.mli
- farith2/extracted/BinNums.ml 0 additions, 2 deletionsfarith2/extracted/BinNums.ml
- farith2/extracted/BinNums.mli 0 additions, 2 deletionsfarith2/extracted/BinNums.mli
- farith2/extracted/BinPos.ml 0 additions, 174 deletionsfarith2/extracted/BinPos.ml
Loading
Please register or sign in to comment