Skip to content
GitLab
Explore
Sign in
Frédéric Tuong
isabelle_para
Repository
Branches
Overview
Active
Stale
All
Stale branches
2016
822bb148
·
proper syntax;
·
Feb 15, 2016
2016-1
8ee0106b
·
tuned;
·
Dec 12, 2016
2017
da00024e
·
obsolete;
·
Oct 04, 2017
2016_para
fc8fa71c
·
synchronize with hol-testgen/r13257
·
Jan 25, 2018
2017_sledgehammer_first
b42e028a
·
simplify
·
Feb 14, 2018