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 06:49:08 +00:00
af637eaae3 Update
baruchel pushed to master at baruchel/coqbooks 2022-11-22 05:44:45 +00:00
8e2b9958e5 Update
baruchel created branch master in baruchel/coqbooks 2022-11-21 22:03:15 +00:00
baruchel pushed to master at baruchel/coqbooks 2022-11-21 22:03:15 +00:00
3dad13243b Thue-Morse initial commit
baruchel created repository baruchel/coqbooks 2022-11-21 22:01:08 +00:00
baruchel pushed to master at baruchel/feeds 2022-11-05 14:56:26 +00:00
4f465c1cf9 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:53:37 +00:00
9dc820322c Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:46:42 +00:00
c957c25307 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:42:41 +00:00
fa5ae1d917 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:38:42 +00:00
d325942185 Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:33:07 +00:00
52426bf0ab Fixed stuff
baruchel pushed to master at baruchel/feeds 2022-11-05 14:25:06 +00:00
b09626dc20 Added the initial entry
baruchel pushed to master at baruchel/feeds 2022-11-05 14:15:42 +00:00
1d30aaa03b Added the main feed
baruchel pushed to master at baruchel/feeds 2022-11-05 12:31:36 +00:00
2da334caa5 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 12:23:32 +00:00
b717eccb89 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 12:09:06 +00:00
ebb037b8e4 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 11:44:15 +00:00
8172322780 Update
652643fc6c Update
Compare 2 commits »
baruchel pushed to master at baruchel/feeds 2022-11-05 11:28:16 +00:00
65588cfd92 Update
baruchel pushed to master at baruchel/feeds 2022-11-05 11:22:39 +00:00
e2258b08fa Update
baruchel pushed to master at baruchel/feeds 2022-11-05 11:13:22 +00:00
c21562a04a Update