Would Viper be a good addition?

Question

james1293 opened this issue 3 years ago · comments

Hello all,
Would Viper (also on Github) be a good addition to this list?

#A · Answer 1 · Wed Jun 16 2021 13:12:35 GMT+0800 (China Standard Time)

That looks pretty neat.

james1293 · Answer 2 · Thu Jun 17 2021 02:40:56 GMT+0800 (China Standard Time)

Ya! Do you think it would go in "projects" or "proof assistants"? Or a new category?

#A · Answer 3 · Sun Sep 05 2021 21:11:26 GMT+0800 (China Standard Time)

No opinion on that. Feel free to submit a pull request.