Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
eta-mixte
fb3f51f6
·
ut conv alg + raccrocher les bouts
·
Mar 23, 2023
eta-contextuel
68da210f
·
jsp comment appeler ce commit dsl
·
Mar 31, 2023
relaxed-transitivity
8c9bc84e
·
subst_eq wip / eta non mutuel
·
Apr 04, 2023
no-trans
67c01a78
·
sim wip + subst wip
·
Apr 24, 2023
annot-pis
ba9f37de
·
!! wip - pi annotation
·
Jun 08, 2023
clean
44df5b5a
·
wip
·
Jun 28, 2023
no-eta
a508e87b
·
clean comment code
·
Jun 30, 2023
no-eta-full
7cd60bfe
·
remove Rel in typ_app (full)
·
Jul 01, 2023
main
default
protected
19a86246
·
wip trying to index type and uc_type
·
Jul 19, 2023