Re: [isabelle] Survey Paper
This is amazing work, thank you so much.
I guess a living review website  base on the information from the
survey, similar to other websites like ,,,,,,,
etc, would be a great resource for the community.
Not sure if this will violate any copyright of ATVA / Springer?
This archive was generated by a fusion of
Pipermail (Mailman edition) and