Mentions légales du service

Skip to content
Snippets Groups Projects

Handle new representation of rational constants in Coq 8.13

Passed
Pierre Roux created pipeline for commit 0b2ea861
, finished
4 jobs 13 minutes 11 seconds, queued for 2 seconds