lapinot lapinot
1 Followers · 1 Following
  • Joined on 2024-02-14
Repositories
5
 Projects Packages Public Activity Starred Repositories
lapinot pushed to main at lapinot/albus 2024-07-31 09:32:38 +00:00
87f3c03958 [script] jq filter to compute the sum of contributions
lapinot pushed to main at sbire/admin-scripts 2024-06-02 21:40:58 +00:00
1c8bbb0007 typo
lapinot pushed to main at lapinot/albus 2024-04-27 11:07:38 +00:00
b312d4305e update
lapinot pushed to main at lapinot/albus 2024-02-22 10:21:50 +00:00
a6fbe03895 add tricount extraction scripts
lapinot pushed to main at lapinot/albus 2024-02-22 10:20:17 +00:00
dbe2b033ef add tricount extraction scripts
lapinot created branch main in lapinot/coq-barebone 2024-02-17 17:35:55 +00:00
lapinot pushed to main at lapinot/coq-barebone 2024-02-17 17:35:55 +00:00
958af155c4 Initial PoC for a barebone Coq prelude.