Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
warning-fix-mathcomp-1.10
4f929b65
·
fix deprecation warning in classic global schedule
·
May 19, 2020
feedback
79cac060
·
coding style adjustments in prosa.util.exists_extensionality
·
Jul 07, 2020
master
default
protected
c95b4984
·
fix minor warning
·
Sep 09, 2020
edf-equivalence
ed3445d3
·
coding style and comment fixes
·
Mar 11, 2021
RT-PROOFS/rt-proofs!113