DengYiping

theory poly
  imports Main HOL Nat
begin
(*
 * Power function
 *)

primrec pow :: "nat \<Rightarrow> nat \<Rightarrow> nat" where
"pow x 0 = Suc 0"
| "pow x (Suc y) = x * pow x y"

DengYiping

theory ExponentialDiophantine
  imports Main Nat Int Complex Real HOL
begin
(* 
 * second order recurrence function
 * the first argument is the index
 * the second argument is the b in the recurrence
 *)

fun Abn :: "nat \<Rightarrow> int \<Rightarrow> int" where

DengYiping

package util

import java.util.concurrent.locks.ReentrantReadWriteLock

/**
  * Created by Scott on 9/12/16.
  */
class ReadWriteLocker {
  private val rwlock = new ReentrantReadWriteLock()

DengYiping

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

DengYiping

 # -*- coding: utf-8 -*-
__author__ = 'Scott Deng'

import requests  
import sys



def check(uri):  
    test_post = {

DengYiping

#-*- coding: UTF-8 -*-
import requests
import re
from bs4 import BeautifulSoup
import pymongo
import datetime
from Queue import Queue
from threading import Thread