Hello

[brun...@gmail.com]

Hi,

This message (https://groups.google.com/forum/?fromgroups=#!topic/scala-user/Z_QIexPZyg4) at scala-user made me aware of the existence of this group. I live in Vienna and I implement a framework for Proof Theory in Scala: https://github.com/Paradoxika/Skeptik . So, I'm joining the group for a while.

Best regards,

Bruno

[Michal Bigos]

You're welcome :)