Updated on 2022-06-10 10:15:32 UTC
refreshed every 30 minutes

@romain.nlRomain's actions on nomadic-labs/sapling-verification (2)

Resource Action Why
nomadic-labs/sapling-verification!21
Split Tree module in the F* Spec
FStar IMTs
Help add merge-team reviewers romain.nl is a dispatcher
nomadic-labs/sapling-verification!23
F* Sapling Spec: Write a detailed README
IMTs
Help add merge-team reviewers romain.nl is a dispatcher