Skip to content
Permalink
Branch: master
Commits on Mar 16, 2018
  1. Merge pull request #7 from palmskog/master

    pirapira committed Mar 16, 2018
    Update documentation on Casper Isabelle models
Commits on Mar 15, 2018
  1. Describe each file in README

    pirapira committed Mar 15, 2018
Commits on Nov 30, 2017
  1. Simplifying some lemmata

    pirapira committed Nov 30, 2017
Commits on Nov 29, 2017
  1. Finished another lemma

    pirapira committed Nov 29, 2017
  2. Finished some lemmata

    pirapira committed Nov 29, 2017
  3. Proved another lemma

    pirapira committed Nov 29, 2017
  4. Proving small lemmata

    pirapira committed Nov 29, 2017
Commits on Nov 27, 2017
Commits on Nov 24, 2017
  1. Filling holes monotoniously

    pirapira committed Nov 24, 2017
  2. Remove the old formulation

    pirapira committed Nov 24, 2017
Commits on Nov 23, 2017
Commits on Nov 22, 2017
  1. Filling gaps slowly

    pirapira committed Nov 22, 2017
Commits on Nov 21, 2017
  1. Snapshot

    pirapira committed Nov 21, 2017
  2. Working on induction

    pirapira committed Nov 21, 2017
Commits on Nov 20, 2017
  1. Chasing statements around

    pirapira committed Nov 20, 2017
Commits on Nov 17, 2017
Commits on Nov 16, 2017
  1. Made a small progress

    pirapira committed Nov 16, 2017
Older
You can’t perform that action at this time.