Dear HOL and Isabelle users,
If you are in LA for CPP, POPL etc., please consider attending a Monday (Jan.
8) morning POPL tutorial on recent advances with Isabelle/HOL’s codatatype and
corecursion infrastructure.
https://popl18.sigplan.org/track/POPL-2018-TutorialFest
http://andreipopescu.uk/pdf/POPLtutorialProposal.pdf
Best regards,
Andrei
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
