Mentions légales du service

Snippets Groups Projects

I

itauto

Merge branch 'abstract-clean-seff' into 'master'

BESSON Frederic authored 3 weeks ago

Adapt w.r.t. rocq-prover/rocq#20472.

See merge request !18

ff11a568

ff11a568 3 weeks ago

Name	Last commit	Last update