pierrejoubert73

How to add a collapsible section in markdown

1. Example

Click me

Heading

1. Foo
2. Bar
   • Baz

• Qux

tchajed

#!/bin/bash

# basic manual argument parsing

usage() {
  echo "Usage: $0 [--foo FOO] [-v]" 1>&2
}

foo=""
verbose=false

anishathalye

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