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?

[1] https://en.wikipedia.org/wiki/Living_review
[2] https://www.cs.ru.nl/~freek/100/
[3] http://nlpprogress.com/
[4] https://ml4code.github.io/
[5] https://paperswithcode.com/
[6] https://quantumalgorithmzoo.org/
[7] https://complexityzoo.uwaterloo.ca/Complexity_Zoo
[8] https://leanprover-community.github.io/undergrad.html




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.