Commits · master · Software / ndfol-gqm-autosubst

04 Jul, 2019 1 commit
- Update README.md · 0edec60c
  Tadeusz Litak authored Jul 04, 2019
  
  0edec60c
28 Nov, 2018 3 commits
- 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
27 Nov, 2018 1 commit
- stuck in NK in the middle of things · f33bb017
  litak authored Nov 27, 2018
  
  f33bb017
26 Nov, 2018 1 commit
- lots of edits, NK doesn't quite work · ef47c61a
  litak authored Nov 26, 2018
  
  ef47c61a
25 Nov, 2018 1 commit
- first working attempt with typeclasses · e705cbc3
  litak authored Nov 25, 2018
  
  e705cbc3
24 Nov, 2018 2 commits
- 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
23 Nov, 2018 3 commits
- 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