Skip to content
GitLab
Explore
Sign in
Micaela Mayero
Numerical Analysis in Coq
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
64ab487c
·
TODO: renommage.
·
Apr 15, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test_skolem_ko
cbaf6f75
·
More billes about KO skolem symbols.
·
Mar 20, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Subset
4ec19a10
·
Borrow patches from master branch.
·
Feb 08, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
released
a39d29d2
·
compile with Coq 8.15
·
Sep 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr_no_math-comp
917f998c
·
cght mineur
·
Nov 20, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
essais-8.18
c50dbea5
·
Tests and clean-up for Coq-8.18.0
·
Sep 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar