Commits · master · Software / ndfol-gqm-autosubst

Jul 04, 2019
- Update README.md · 0edec60c
  Tadeusz Litak authored Jul 4, 2019
  
  0edec60c
Nov 28, 2018
- added readme · c12ebc57
  litak authored Nov 28, 2018
  
  c12ebc57
- added the MMT development · bd02345c
  litak authored Nov 28, 2018
  
  bd02345c
- to my big surprise: finally, everything works · 52496523
  litak authored Nov 28, 2018
  
  52496523
Nov 27, 2018
- stuck in NK in the middle of things · f33bb017
  litak authored Nov 27, 2018
  
  f33bb017
Nov 26, 2018
- lots of edits, NK doesn't quite work · ef47c61a
  litak authored Nov 26, 2018
  
  ef47c61a
Nov 25, 2018
- first working attempt with typeclasses · e705cbc3
  litak authored Nov 25, 2018
  
  e705cbc3
Nov 24, 2018
- got all the way to propositional proof system for Int · 667bd1d2
  litak authored Nov 24, 2018
  
  667bd1d2
- we have formulas · 5509ae92
  litak authored Nov 24, 2018
  
  5509ae92
Nov 23, 2018
- fist compiling commit · 00c250e4
  litak authored Nov 23, 2018
  
  00c250e4
- more initial files · 4d91eb8c
  litak authored Nov 23, 2018
  
  4d91eb8c
- inital commit · 6d5df6d0
  litak authored Nov 23, 2018
  
  6d5df6d0