[Readable-discuss] cl-metamath in sweet-expressions

[David A. W. <dwh...@dw...>]

Fyi, I've been implementing a library in common lisp using sweet expressions.

It is not quite ready for prime time, but you might find it amusing here:
https://github.com/david-a-wheeler/cl-metamath


--- David A.Wheeler