Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.6.4
https://about.gitlab.com/releases/2025/11/20/gitlab-18-6-released/

C

compalg

Project information

Providing comparison functions between numbers that are sums of a rational number and a square root, with proofs in Coq+mathematlcal components

8 Commits
1 Branch
0 Tags

README

Created on

April 03, 2019

Loading