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