small things to not forget

fsolt / dcpo_dem_mood

1 stars 0 forks source link

Open fsolt opened 2 years ago

fsolt commented 2 years ago

[ ] Ensure the SocArxiv papers are cited correctly in proofs (currently they appear as only Author Title)
[ ] Make a prettier version to put on SocArxiv