Next Meetup

Stainless verification framework
Brian Howard will present the Stainless verification framework (https://github.com/epfl-lara/stainless/blob/master/core/src/sphinx/intro.rst). We'll also field any general questions about the language. Beginners welcome.

DemandJump

10 West Market Street · Indianapolis

Upcoming Meetups

Past Meetups

What we're about

Public Group

A group of people who get together to talk about Scala, learn Scala, and enjoy the camaraderie of other Scala enthusiasts.

This group is open to anyone who wishes to join. Our members are diverse with many different programming languages represented.

Join us on Gitter (https://gitter.im/indyscala/chat)to chat between meetings, ask questions, or suggest topics for upcoming meetings.

Members (285)

Photos (31)

Find us also at