Skip to content
GitLab
Explore
Sign in
Quentin Bernet
Transfinite Lists for Stainless
Repository
Branches
Overview
Active
Stale
All
Stale branches
non-terminating
66318237
·
non-terminating
·
Jan 11, 2022
master
default
protected
226a28b2
·
Cleanup `qed` proofs
·
Jan 12, 2022
wip-mult
226a28b2
·
Cleanup `qed` proofs
·
Jan 12, 2022