Re: [isabelle] Survey Paper

This is amazing work, thank you so much.

I guess a living review website [1] base on the information from the
survey, similar to other websites like [2],[3],[4],[5],[6],[7],[8],
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 MHonArc.