Skip to content

Merge branch 'fixProofs' of github.com:tlaplus/Examples into fixProofs

3cdcf4e
Select commit
Loading
Failed to load commit list.
Merged

Fix proofs #175

Merge branch 'fixProofs' of github.com:tlaplus/Examples into fixProofs
3cdcf4e
Select commit
Loading
Failed to load commit list.