Merge Requests · Sergey Bozhko / rt-proofs

aRTA+

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

!17 · opened Mar 26, 2020 by Sergey Bozhko
updated Sep 24, 2020
Update

!16 · opened Mar 26, 2020 by Sergey Bozhko
- MERGED
- 0
updated Mar 26, 2020
WIP : Restricted Supply

!15 · opened Mar 26, 2020 by Sergey Bozhko
- CLOSED
- 0
updated Mar 26, 2020
Update

!14 · opened Feb 06, 2020 by Sergey Bozhko
- MERGED
- 0
updated Feb 06, 2020
Master

!13 · opened Aug 20, 2019 by Sergey Bozhko
- MERGED
- 0
updated Aug 20, 2019
Update

!12 · opened Jun 13, 2019 by Sergey Bozhko
- MERGED
- 0
updated Jun 13, 2019
Change definition of completion

!11 · opened Jun 12, 2019 by Sergey Bozhko
- MERGED
- 0
updated Jun 12, 2019
Update

!10 · opened Jun 05, 2019 by Sergey Bozhko
- MERGED
- 0
updated Jun 05, 2019
Delete redundant busy_interval file

!9 · opened Jun 04, 2019 by Sergey Bozhko
- MERGED
- 0
updated Jun 04, 2019
Master

!8 · opened May 26, 2019 by Sergey Bozhko
- MERGED
- 0
updated May 26, 2019
Update of the fork

!7 · opened May 13, 2019 by Sergey Bozhko
- MERGED
- 0
updated May 13, 2019
Update the fork

!6 · opened May 09, 2019 by Sergey Bozhko
- MERGED
- 0
updated May 09, 2019
Update

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

!4 · opened May 03, 2019 by Sergey Bozhko
- CLOSED
- 0
updated May 03, 2019
Update of fork's master

!3 · opened Apr 15, 2019 by Sergey Bozhko
- MERGED
- 0
updated Apr 15, 2019
Master

!2 · opened Sep 17, 2018 by Sergey Bozhko
- MERGED
- 0
updated Sep 17, 2018
Update

!1 · opened Dec 14, 2017 by Sergey Bozhko
- MERGED
- 0
updated Dec 14, 2017