Merge requests · Sergey Bozhko / rt-proofs

test merge request

!19 · created May 03, 2022 by Sergey Bozhko
updated May 18, 2022
aRTA+

!18 · created Apr 01, 2020 by Sergey Bozhko
- Closed
updated Apr 06, 2020
Draft: WIP : aRTA+ and Restricted Supply

!17 · created Mar 26, 2020 by Sergey Bozhko
- 6
updated Sep 24, 2020
Update

!16 · created Mar 26, 2020 by Sergey Bozhko
- Merged
updated Mar 26, 2020
WIP : Restricted Supply

!15 · created Mar 26, 2020 by Sergey Bozhko
- Closed
updated Mar 26, 2020
Update

!14 · created Feb 06, 2020 by Sergey Bozhko
- Merged
updated Feb 06, 2020
Master

!13 · created Aug 20, 2019 by Sergey Bozhko
- Merged
updated Aug 20, 2019
Update

!12 · created Jun 13, 2019 by Sergey Bozhko
- Merged
updated Jun 13, 2019
Change definition of completion

!11 · created Jun 12, 2019 by Sergey Bozhko
- Merged
updated Jun 12, 2019
Update

!10 · created Jun 05, 2019 by Sergey Bozhko
- Merged
updated Jun 05, 2019
Delete redundant busy_interval file

!9 · created Jun 04, 2019 by Sergey Bozhko
- Merged
updated Jun 04, 2019
Master

!8 · created May 26, 2019 by Sergey Bozhko
- Merged
updated May 26, 2019
Update of the fork

!7 · created May 13, 2019 by Sergey Bozhko
- Merged
updated May 13, 2019
Update the fork

!6 · created May 09, 2019 by Sergey Bozhko
- Merged
updated May 09, 2019
Update

!5 · created May 03, 2019 by Sergey Bozhko
- Merged
updated May 03, 2019
fix the proof of find_uniq under mathcomp version 1.8

!4 · created May 03, 2019 by Sergey Bozhko
- Closed
updated May 03, 2019
Update of fork's master

!3 · created Apr 15, 2019 by Sergey Bozhko
- Merged
updated Apr 15, 2019
Master

!2 · created Sep 17, 2018 by Sergey Bozhko
- Merged
updated Sep 17, 2018
Update

!1 · created Dec 14, 2017 by Sergey Bozhko
- Merged
updated Dec 14, 2017