Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 18, 2015

• Minor changes + mention proof compression~

  fontainep

  committed
  d487f2f

Commits on Dec 5, 2014

• A bit more info about LFSC

  fontainep

  committed
  e32def0

Commits on Dec 2, 2014

• Adding Burel's paper

  fontainep

  committed
  07ba5d0

Commits on Jul 18, 2014

• Minor fix to bib, finished my sections of talk

  

  Clark Barrett

  committed
  6c536e1

Commits on Jun 9, 2014

• Final version for conference proceedings

  

  Clark Barrett

  committed
  e653b16

Commits on Jun 7, 2014

• veriT Application + misc minor

  fontainep

  committed
  55cac91

• Finished pass through the end of Section 4

  

  Clark Barrett

  committed
  5bb868e

Commits on Jun 6, 2014

• Added text for proof formats

  

  Clark Barrett

  committed
  fbc9d04

• Finishing section 2, and fixing minor things

  fontainep

  committed
  6fe4c1f

• Merge branch 'master' of https://github.com/leodemoura/APPA

  fontainep

  committed
  6b334ed

• Adding Proof Systems and Proof Consumption

  fontainep

  committed
  2427530

• add lean section

  leodemoura

  committed
  5a28e91

Commits on Jun 5, 2014

• Added some more text to intro

  

  Clark Barrett

  committed
  c46f34a

• add z3 section

  leodemoura

  committed
  3cd3fe9

• Added part of history section

  

  Clark Barrett

  committed
  eb8a5ab

Commits on May 31, 2014

• Revised introduction

  fontainep

  committed
  2cd0244

Commits on May 24, 2014

• First take at outline for paper

  

  Clark Barrett

  committed
  473ce4d

Loading