kind2-announce

1–8 of 8
Welcome to the kind2-announce group, stay tuned for announcements of new releases. 

Use our discussion group kind2-users@googlegroups.com to communicate with the developers and other users.

Try Kind 2 online at https://kind.cs.uiowa.edu/app/
Download releases and view the sources at https://github.com/kind2-mc/kind2