[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/ .
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the matryoshka-devel