Skip to content
GitLab
Explore
Sign in
Tags give the ability to mark specific points in history as being important
TCC-II-Preview
772985fa
·
Merge pull request #70 from ErFer7/47-final-doc-version
·
Jun 13, 2025
Release:
TCC-II-Preview
TCC-I
c3b649c6
·
Merge pull request #55 from ErFer7/51-partial-conclusion
·
Dec 12, 2024
Release:
TCC-I
TCC-Proposal
c889ea36
·
Merge pull request #32 from ErFer7/31-final-proposal-fix
·
Jun 26, 2024
Release:
TCC Proposal
Unreviewed-TCC-Proposal
9340441e
·
Merge pull request #30 from ErFer7/29-review-and-fix
·
Jun 26, 2024
Release:
Unreviewed TCC Proposal