Tej Chajed tchajed

## 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?)

## markdown-details-collapsible.md

      
              1 file
            
          
              165 forks
            
          
              184 comments
            
          
              1300 stars
            
          
                pierrejoubert73
                / markdown-details-collapsible.md
            
            
              Last active
              May 2, 2024 11:58
            
              
                How to add a collapsible section in markdown.
              
          
    How to add a collapsible section in markdown

1. Example


  Click me
Heading


Foo
Bar

Baz


Qux
	#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?)