Showing 1-2 of 2 messages
Hello brun...@gmail.com 8/27/12 5:56 AM

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,


Re: Hello Michal Bigos 8/27/12 1:15 PM
You're welcome :)