ramntry

#!/bin/bash

if [ -z "$1" ]; then
  echo "Usage: $0 <chapter-name>"
  exit 1
fi
chapter_name=$1

mkdir $chapter_name
cd $chapter_name

ramntry

#!/bin/bash

if [ -z "$1" ]; then
  filename=$(basename `pwd`)
fi

cat > ${filename}.v <<EOF
Require Export SfLib.

ramntry

(set-face-attribute 'default nil :height 100)
(when window-system (set-frame-size (selected-frame) 152 57))

(add-to-list 'load-path "~/.emacs.d/evil")
(setq evil-shift-width 2)
(require 'evil)
(evil-mode 1)

(load-file "/home/ramntry/studies/jblab_schools/summer_2014/soft/ProofGeneral-4.2/generic/proof-site.el")
(load-file "/home/ramntry/studies/jblab_schools/summer_2014/soft/ssreflect-1.4/pg-ssr.el")

ramntry

Require Import Basics.
Require Import Induction.
Require Import Lists.

Definition even (n : nat) : Prop :=
  evenb n = true.

Inductive ev : nat -> Prop :=
  | ev_0 : ev 0
  | ev_SS : forall n : nat, ev n -> ev (S (S n)).

ramntry

#include <iostream>
#include <iomanip>

typedef long long integral;

struct num {
  integral const z;
  integral const s;

  num(integral const z, integral const s) : z(z), s(s) {}

ramntry

([18,63,84,210,378,504],(248,[12,14,18,33,36,49,54,56,60,63,64,66,67,72,74,78,81,82,84,85,86,90,92,96,98,102,103,108,114,116,117,123,126,132,133,134,135,138,140,141,144,147,149,150,153,156,158,159,165,168,171,189,191,198,207,209,210,216,219,221,222,224,225,228,230,231,232,233,234,237,243,246,249,250,252,264,266,270,273,275,276,279,282,284,288,290,291,293,294,296,297,300,302,306,308,312,314,315,318,333,336,339,345,348,350,351,354,357,363,366,368,369,375,378,381,390,392,396,414,426,432,434,438,440,441,444,450,452,456,459,462,464,468,476,480,489,494,501,504,507,510,512,513,516,518,519,522,524,525,528,531,536,537,540,543,558,564,567,570,573,576,578,582,585,588,591,600,602,606,618,624,627,636,639,642,644,645,651,653,654,657,660,662,669,672,674,675,678,686,690,693,702,714,720,723,726,728,732,735,737,741,746,747,750,753,768,777,786,795,798,804,812,816,852,861,870,879,882,894,896,900,918,936,942,945,956,960,963,966,980,984,1005,1023,1029,1047,1092,1104,1106,1110,1128,1146,1155,1173,1176,1190,1194,1239,1257]))

([18,6

ramntry

program7: runtime.o program7.o
	gcc $^ -o $@

ramntry

program2: runtime.o program2.o
	gcc $^ -o $@

ramntry

\documentclass{article}

\usepackage{listings}
\usepackage{indentfirst}
\usepackage{verbatim}
\usepackage{amsmath, amsthm, amssymb}
\usepackage{stmaryrd}
\usepackage{graphicx}
\usepackage{euscript}

ramntry

test: main.o a.o b.o
	g++ $^ -o $@