`ptw` - Githubissues

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Creative Commons Attribution Share Alike 4.0 International

378 stars 22 forks source link

`ptw` #105

Closed DanGrayson closed 3 years ago

DanGrayson commented 3 years ago

Does anyone know what ptw is an acronym of?

bidundas commented 3 years ago

I don’t know, but I can guess at “pointwise”?

Bjorn

On 05 May 2021, at 23:13, Daniel R. Grayson @.***> wrote:

Does anyone know what ptw is an acronym of?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.

marcbezem commented 3 years ago

Right, Bjørn!

DanGrayson commented 3 years ago

Thanks, I've added that to the footnote: