Media Summary: Zarko Milosevic (Informal Systems) Cosmos ( is an open source blockchain project that enables ... Join us for a live coding stream with Gabriela Moreira, Lead Ever felt overwhelmed by a system too complex to hold in your head? You're not alone. In this fireside chat,

Quint A Modern And Executable - Detailed Analysis & Overview

Zarko Milosevic (Informal Systems) Cosmos ( is an open source blockchain project that enables ... Join us for a live coding stream with Gabriela Moreira, Lead Ever felt overwhelmed by a system too complex to hold in your head? You're not alone. In this fireside chat, Gabriela Moreira is the lead developer of

Photo Gallery

Quint: A modern and executable specification language
Quint — Protocol Specifications Made Executable - Zarko Milosevic
Live Coding with Quint
Protocol Design Made Simple | Quint Specification Tool Explained
Func Prog Podcast Episode 4 - Gabriela Moreira
View Detailed Profile
Quint: A modern and executable specification language

Quint: A modern and executable specification language

Quint

Quint — Protocol Specifications Made Executable - Zarko Milosevic

Quint — Protocol Specifications Made Executable - Zarko Milosevic

Zarko Milosevic (Informal Systems) Cosmos (https://cosmos.network) is an open source blockchain project that enables ...

Live Coding with Quint

Live Coding with Quint

Join us for a live coding stream with Gabriela Moreira, Lead

Protocol Design Made Simple | Quint Specification Tool Explained

Protocol Design Made Simple | Quint Specification Tool Explained

Ever felt overwhelmed by a system too complex to hold in your head? You're not alone. In this fireside chat,

Func Prog Podcast Episode 4 - Gabriela Moreira

Func Prog Podcast Episode 4 - Gabriela Moreira

Gabriela Moreira is the lead developer of