Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 25, 2017

• small change

  shrouxm

  committed
  40b66d5

Commits on Dec 29, 2016

• small amount of work on a new lemma

  shrouxm

  committed
  94bce01

• fix a lemma

  shrouxm

  committed
  02be015

Commits on Dec 19, 2016

• progress on lemma11

  shrouxm

  committed
  7af6c68

• partway through changing to better definitions of aux functions

  shrouxm

  committed
  e752c57

• add miscellanous lemmas

  shrouxm

  committed
  2956d26

• modify informal proof comments

  shrouxm

  committed
  c1ac4b9

Commits on Dec 8, 2016

• Separate out tactics into a new file, add some lemmas

  shrouxm

  committed
  0019d86

Commits on Dec 6, 2016

• Add some more lemmas

  shrouxm

  committed
  149b271

Commits on Dec 2, 2016

• Add lemmas to hint database

  shrouxm

  committed
  4d3e1fb

• Start tracking differences/potential bugs in the informal proof

  shrouxm

  committed
  dbf1cbc

• Remove unused maps library

  shrouxm

  committed
  c55ea15

Commits on Nov 25, 2016

• Add more lemmas, start experimenting with Ltac

  shrouxm

  committed
  e0623a9

Commits on Nov 23, 2016

• Finished R_Field case of lemma11

  shrouxm

  committed
  cbc5118

Commits on Nov 22, 2016

• Finished moving existing code into lemmas.v

  shrouxm

  committed
  7e948cc

• Separate out more lemmas

  shrouxm

  committed
  2b79512

• Separate lemmas that don't involve SCA defs.

  shrouxm

  committed
  2de4143

• Cleanup

  shrouxm

  committed
  c883723

• Add proof where alpha relation is defined as type instead of prop

  shrouxm

  committed
  e253709

Commits on Nov 21, 2016

• separate current proof work from completed proofs

  Show description for 0c690bb
  shrouxm

  committed
  0c690bb

• Proofs up to lemma 10 inclusive

  Show description for f95ad13
  shrouxm

  committed
  f95ad13

Commits on Oct 27, 2016

• Proofs up to lemma 10 (skipping lemma 6) using no class_id

  shrouxm

  committed
  8603674

Commits on Oct 7, 2016

• Finished Lemma 4.

  shrouxm

  committed
  33962e3

Commits on Sep 14, 2016

• added some comments

  shrouxm

  committed
  9aa2382

• Finished lemma 3

  shrouxm

  committed
  53e6b78

Commits on Sep 6, 2016

• add featherweight java definitions

  shrouxm

  committed
  aa38ec9

• Finished Lemma 2.

  shrouxm

  committed
  c0e6aa7

Commits on Sep 2, 2016

• rename some things

  shrouxm

  committed
  7cbd146

• adding initial contents

  shrouxm

  committed
  d3f470d

• Initial commit

  

  Garo Brik

  authored and

  Garo Brik

  committed
  cc6dc04