Anish Athalye anishathalye

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                anishathalye
                / keybase.md
            
            
              Created
              March 20, 2015 01:00
            
          
    Keybase proof

I hereby claim:

I am anishathalye on github.
I am anish (https://keybase.io/anish) on keybase.
I have a public key whose fingerprint is 72EE 4824 FA6E FF1F E750  A015 C3F6 E4F5 086B 3B32

To claim this, I am signing this object:

  
## adversarial-style.ipynb

      
              1 file
            
          
              1 fork
            
          
              2 comments
            
          
              26 stars
            
          
                anishathalye
                / adversarial-style.ipynb
            
            
              Created
              March 30, 2018 02:00
            
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## openai.rkt
#lang rosette

(require rackunit syntax/parse/define)

;; https://openai.com/blog/formal-math/

(define-simple-macro (prove e ...) (check-pred unsat? (verify (begin e ...))))

(test-case "Problem 1"
  (define-symbolic* x p real?)
	#lang rosette

	(require rackunit syntax/parse/define)

	;; https://openai.com/blog/formal-math/

	(define-simple-macro (prove e ...) (check-pred unsat? (verify (begin e ...))))

	(test-case "Problem 1"
	(define-symbolic* x p real?)