nearll nearll

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                nearll
                / keybase.md
            
            
              Created
              October 8, 2017 21:01
            
          
    Keybase proof

I hereby claim:

I am nearll on github.
I am nearll (https://keybase.io/nearll) on keybase.
I have a public key whose fingerprint is 678E 6C94 1634 DAE9 2320  E2EB 763F D386 101A 46FA

To claim this, I am signing this object:

  
## TeenyTinyMansion.txt

The Teeny Tiny Mansion (TTTM) is a mockup text adventure game that is formally
proven to have no "dead ends". I.e. all player actions will result in a state
in which the game is still winnable.

I started thinking about formal verification for adventures games after I
half-jokingly wrote the following tweet, referring to a bug that has been
discussed on the Thimbleweed Park Development Blog:

	https://twitter.com/oe1cxw/status/850861311709851650

	The Teeny Tiny Mansion (TTTM) is a mockup text adventure game that is formally
	proven to have no "dead ends". I.e. all player actions will result in a state
	in which the game is still winnable.

	I started thinking about formal verification for adventures games after I
	half-jokingly wrote the following tweet, referring to a bug that has been
	discussed on the Thimbleweed Park Development Blog:

	https://twitter.com/oe1cxw/status/850861311709851650