baruchel
  • Joined on 2021-02-13
baruchel pushed to master at baruchel/coqbooks 2023-11-23 15:47:49 -05:00
0f3f602c0d Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 15:29:25 -05:00
b94a556f7e Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 15:23:05 -05:00
34a4a7f63b Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 15:10:22 -05:00
98162d1052 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 12:36:05 -05:00
5158370a77 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 10:49:59 -05:00
35672797f1 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 10:44:32 -05:00
daabce4917 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 10:32:35 -05:00
3e92621520 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 10:27:11 -05:00
2315f2321e Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 09:58:26 -05:00
58a834c275 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 08:59:02 -05:00
4b4f52756f Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 08:54:05 -05:00
cc4b168720 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 05:43:22 -05:00
d3cb1fc175 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 03:17:42 -05:00
2eb631de5e Update
baruchel pushed to master at baruchel/coqbooks 2023-11-23 02:01:10 -05:00
bcc5139b6f Update
baruchel pushed to master at baruchel/coqbooks 2023-11-22 09:50:12 -05:00
9c7d6b156f Update
baruchel pushed to master at baruchel/coqbooks 2023-11-22 09:31:46 -05:00
57df938818 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-22 09:15:37 -05:00
dedf79490b Update
baruchel pushed to master at baruchel/coqbooks 2023-11-01 17:51:37 -04:00
528cb76db3 Update
baruchel pushed to master at baruchel/coqbooks 2023-11-01 16:42:38 -04:00
d1927fca71 Update