Commits · 7175b2daf836f6f6df5cbbb6551857dbc059e3ca · Michael Sammler / GQM-Coq

Apr 29, 2018
- added coq args for flycheck · 7175b2da
  Mackie Loeffel authored 6 years ago
  
  7175b2da
Apr 26, 2018
- started section 5 · 605e744a
  Mackie Loeffel authored 6 years ago
  
  605e744a
- added missing axoims · 8ef46203
  Mackie Loeffel authored 6 years ago
  
  8ef46203
- moved classical lemmas to gqmClassical · b5a1504c
  Mackie Loeffel authored 6 years ago
  
  b5a1504c
- finished or elimination · 376ff567
  Mackie Loeffel authored 6 years ago
  
  376ff567
- Hilbert style until or elim · da112e2d
  Mackie Loeffel authored 6 years ago
  
  da112e2d
Apr 25, 2018
- started deduction with contexts · d45656e7
  Mackie Loeffel authored 6 years ago
  
  d45656e7
- started gqm · eef08bbd
  Mackie Loeffel authored 6 years ago
  
  eef08bbd
- Merge branch 'ci_setup' into 'master' · 21bdb66e
  Michael Sammler authored 6 years ago
  
  added ci See merge request !1
  21bdb66e
- added ci · c713ee05
  Mackie Loeffel authored 6 years ago
  
  c713ee05
Apr 24, 2018
- added Makefile and _CoqProject · bb1e1ee5
  Mackie Loeffel authored 6 years ago
  
  bb1e1ee5
- added gitignore · f4cbef22
  Mackie Loeffel authored 6 years ago
  
  f4cbef22