baruchel
0 Followers · 0 Following
  • Joined on 2021-02-13
Repositories
3
 Projects Packages Public Activity Starred Repositories
baruchel pushed to master at baruchel/coqbooks 2022-11-22 01:49:08 -05:00
af637eaae3 Update
baruchel pushed to master at baruchel/coqbooks 2022-11-22 00:44:45 -05:00
8e2b9958e5 Update
baruchel created branch master in baruchel/coqbooks 2022-11-21 17:03:15 -05:00
baruchel pushed to master at baruchel/coqbooks 2022-11-21 17:03:15 -05:00
3dad13243b Thue-Morse initial commit
baruchel created repository baruchel/coqbooks 2022-11-21 17:01:08 -05:00
baruchel pushed to master at baruchel/feeds 2022-11-05 10:56:26 -04:00
4f465c1cf9 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:53:37 -04:00
9dc820322c Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:46:42 -04:00
c957c25307 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:42:41 -04:00
fa5ae1d917 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:38:42 -04:00
d325942185 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:33:07 -04:00
52426bf0ab Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 10:25:06 -04:00
b09626dc20 Added the initial entry
baruchel pushed to master at baruchel/feeds 2022-11-05 10:15:42 -04:00
1d30aaa03b Added the main feed
baruchel pushed to master at baruchel/feeds 2022-11-05 08:31:36 -04:00
2da334caa5 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 08:23:32 -04:00
b717eccb89 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 08:09:06 -04:00
ebb037b8e4 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 07:44:15 -04:00
8172322780 Update
652643fc6c Update
Compare 2 commits »
baruchel pushed to master at baruchel/feeds 2022-11-05 07:28:16 -04:00
65588cfd92 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 07:22:39 -04:00
e2258b08fa Update
baruchel pushed to master at baruchel/feeds 2022-11-05 07:13:22 -04:00
c21562a04a Update