[Matryoshka-devel] Google Summer of Code opportunities for students on projects related to automated reasoning and proof compression

Bruno Woltzenlogel Paleo bruno.wp at gmail.com
Thu Mar 2 08:28:21 CET 2017



Two of my projects (Scavenger and Skeptik) are going to participate in Google
Summer of Code this year. Both projects are implemented in Scala. Scavenger is
a first-order theorem prover, and Skeptik is a tool for compressing formal
proofs. Undergraduate, M.Sc. and Ph.D. students are eligible to apply. More
information can be found at http://www.aossie.org/ .


Best regards,



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/matryoshka-devel/attachments/20170302/c871ecca/attachment.html>

More information about the matryoshka-devel mailing list