aboutsummaryrefslogtreecommitdiff
path: root/entries/fbanados
Commit message (Expand)AuthorAge
* Base smalltalk exportFelipe Bañados Schwerter2022-10-24
* Specified implementation in coqFelipe Bañados Schwerter2022-10-24