Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Farith
Repository
Branches
Overview
Active
Stale
All
Stale branches
zarith_extended
12421740
·
Optimise by removing Let and precomputing some values
·
Jun 26, 2015
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/rounding
merged
43b5db19
·
[F] added subnormals
·
Jun 30, 2015
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
flocq
b42b601e
·
Coq 8.6 and flocq v4161c990053985f6819e
·
May 17, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
merge_farith2
merged
13be3cbe
·
Release 0.1
·
May 30, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
69e587a8
·
Readd tests
·
Jun 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar