Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
qa2270
lean-mirror
Repository
Branches
Overview
Active
Stale
All
Stale branches
new_decidable
70e6d346
·
checkpoint
·
Apr 28, 2018
trying_to_remove_expr_param
bcf7771b
·
checkpoint
·
Jun 06, 2018
expr_lit
d8130ee0
·
checkpoint
·
Jun 13, 2018
new_expr
43a9d787
·
checkpoint
·
Jun 21, 2018
new_decls
b434b5a3
·
refactor(kernel): declaration vs constant_info
·
Jun 26, 2018