Stwo
====

This folder is a Lean 4 project. You should have Lean 4 and the VS Code extension 
[installed](https://lean-lang.org/install/). 

In this folder, type
```
lake exe cache get
```
to get the precompiled Mathlib files, and
```
lake build
```
to compile the main soundness theorem.