Commits · 1749e7cee5d0fe3691a576dfdc3966929f731f77 · Vojtěch Suchánek / glv_disaster

Jun 08, 2022
- add DCLP, update README · 1749e7ce
  Vojtěch Suchánek authored Jun 08, 2022
  
  1749e7ce
- add sources · 25606427
  Vojtěch Suchánek authored Jun 08, 2022
  
  25606427
- add ZVP motivation to notes · 5c2e6879
  Vojtěch Suchánek authored Jun 08, 2022
  
  5c2e6879
- add jupytext to README · 5b18e50f
  Vojtěch Suchánek authored Jun 08, 2022
  
  5b18e50f
Apr 08, 2022
- DCP for x_1+x_2 and 1728 · 0f5c488c
  Vojtěch Suchánek authored Apr 08, 2022
  
  0f5c488c
Apr 07, 2022
- update README · 8269352d
  Vojtěch Suchánek authored Apr 07, 2022
  
  8269352d
Apr 06, 2022
- add gitignore · 51d05b11
  Vojtěch Suchánek authored Apr 06, 2022
  
  51d05b11
- initial commit · db181f2a
  Vojtěch Suchánek authored Apr 06, 2022
  
  db181f2a
- Initial commit · fa571fcf
  Vojtěch Suchánek authored Apr 06, 2022
  
  fa571fcf