An extension to Wim Feijen's proof format

40 views
Skip to first unread message

Eric Macaulay

unread,
Oct 18, 2019, 11:18:26 AM10/18/19
to Calculational Mathematics
Dear all,

I have been ruminating about extending the proof format in this way for years and finally thought I'd write down so wise eyes can comment.  Enjoy!

Agape,
Eric
05-DMux.pdf
Reply all
Reply to author
Forward
0 new messages