Skip to content

Instantly share code, notes, and snippets.

View matthew-piziak's full-sized avatar

Matthew Piziak matthew-piziak

View GitHub Profile
Theorem exercise_1_2_1: forall A B C : Ensemble U,
Included U A B /\ Included U A C <-> Included U A (Intersection U B C).
Proof.
intros.
split.
intros.
destruct H.
apply Intersection_maximal; assumption.
intros.
split.
Another potential syntax where you only see your immediate parents and children:
* parent 1…
* parent 2…
* current node
Node contents
Testing Gist Integration

Keybase proof

I hereby claim:

  • I am matthew-piziak on github.
  • I am matthew_piziak (https://keybase.io/matthew_piziak) on keybase.
  • I have a public key ASDdrk_u-uaDhXN05JY0y3sZ4QXA_LGhzIn-3Q2DYbqI7Qo

To claim this, I am signing this object:

error: could not crate bin directory: '/Users/matt.cargo/bin'
info: caused by: Permission denied (os error 13)
rustup: command failed: /var/folders/jp/9csp82hj70q4ctsctp9tzf_w0000gn/T/tmp.VT5DYWiF/rustup-init
@matthew-piziak
matthew-piziak / newt.py
Created November 11, 2014 04:42
newt module (don't hate me)
import pathing
import math
import pygame
import sys
import time
import random
NEWT_START = (0, 0, 0, 0, 0)
NEWT_GOAL = (70, 70, 0, 0, 0)
ACCELERATION = 0.4