Hi All, I'm interested in working with isabelle for this google summer of code. I have gone through the ideas list of Isabelle and i'm interested in working on "A general proof representation framework". To be honest i'm fairly new to isabelle. So i would like to take this project as a challenge and do it. I'm confident that ill get to know much more in the due coarse. Can someone guide me on where to begin and to resources relating the above idea to get a better understanding?
Thanks, ~Kishanthan. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
