Repository to hold examples and data for Logika manual proof language paper - santoslab/logika-proof-language-case-studies. Skip to content. Navigation Menu Toggle navigation. Sign in ... This example ...