Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
zarith_extended
12421740
·
Optimise by removing Let and precomputing some values
·
Jun 26, 2015
!4
feature/rounding
43b5db19
·
[F] added subnormals
·
Jun 30, 2015
!8
flocq
b42b601e
·
Coq 8.6 and flocq v4161c990053985f6819e
·
May 17, 2017
!2
merge_farith2
13be3cbe
·
Release 0.1
·
May 30, 2022
master
default
protected
69e587a8
·
Readd tests
·
Jun 02, 2022