Skip to content

Latest commit

 

History

History
1 lines (1 loc) · 72 Bytes

readme.md

File metadata and controls

1 lines (1 loc) · 72 Bytes

Formalisation of MIU system and proof that the puzzle cannot be solved.