Commits · main · Štěpán Balážik / sci-bp

May 09, 2023
- text: finishing touches · 45454c19
  Štěpán Balážik authored May 09, 2023
  
  45454c19
- web: instructions · 020ad2fa
  Štěpán Balážik authored May 09, 2023
  
  020ad2fa
- text: wip · 6c3e3012
  Štěpán Balážik authored May 09, 2023
  
  6c3e3012
- text: images · dcdda6d0
  Štěpán Balážik authored May 09, 2023
  
  dcdda6d0
- quatifiers parens · 312e8661
  Štěpán Balážik authored May 09, 2023
  
  312e8661
- margins · 237c38d8
  Štěpán Balážik authored May 09, 2023
  
  237c38d8
- colors · 7fa96497
  Štěpán Balážik authored May 09, 2023
  
  7fa96497
- overleaf editing · 397533d1
  Štěpán Balážik authored May 09, 2023
  
  397533d1
- remove playground · e484ae04
  Štěpán Balážik authored May 09, 2023
  
  e484ae04
- wip · c11ec503
  Štěpán Balážik authored May 09, 2023
  
  c11ec503
- wip · 6cb69841
  Štěpán Balážik authored May 09, 2023
  
  6cb69841
May 08, 2023
- backend chapter first pass · 9adbefdd
  Štěpán Balážik authored May 08, 2023
  
  9adbefdd
- typo · f36ea4e1
  Štěpán Balážik authored May 08, 2023
  
  f36ea4e1
- remove references pdfs · 2b487a85
  Štěpán Balážik authored May 08, 2023
  
  2b487a85
May 07, 2023
- sets module text and examples · f83e88b1
  Štěpán Balážik authored May 07, 2023
  
  f83e88b1
- typos & structure · 5dece113
  Štěpán Balážik authored May 07, 2023
  
  5dece113
- backend chapter wip · c29dd19a
  Štěpán Balážik authored May 07, 2023
  
  c29dd19a
- todo fix · 403bd3b1
  Štěpán Balážik authored May 07, 2023
  
  403bd3b1
- examples for propositional · 099cc99c
  Štěpán Balážik authored May 07, 2023
  
  099cc99c
- text: propositional + latex output · 772f6442
  Štěpán Balážik authored May 07, 2023
  
  772f6442
- chapter names · cf336b73
  Štěpán Balážik authored May 07, 2023
  
  cf336b73
- theory: wip · 119108ae
  Štěpán Balážik authored May 07, 2023
  
  119108ae
- text theory wip · b1cf759a
  Štěpán Balážik authored May 07, 2023
  
  b1cf759a
May 03, 2023
- text wip · 25df5055
  Štěpán Balážik authored May 03, 2023
  
  25df5055
- wip: notes · 044ba796
  Štěpán Balážik authored May 03, 2023
  
  044ba796
- frontend support for natural language exercises · a3ec4a1b
  Štěpán Balážik authored May 03, 2023
  
  a3ec4a1b
- add backend support for natural language exercises · d5585586
  Štěpán Balážik authored May 03, 2023
  
  d5585586
May 02, 2023
- naming, it's hard · f32d0a91
  Štěpán Balážik authored May 02, 2023
  
  f32d0a91
- split description and symbol meaning · f4e7419f
  Štěpán Balážik authored May 02, 2023
  
  f4e7419f
- remove dependency on flask · f868e9b1
  Štěpán Balážik authored May 02, 2023
  
  f868e9b1
- add deploy script · 6b585b43
  Štěpán Balážik authored May 02, 2023
  
  6b585b43
- remove unused app.py · d121cd63
  Štěpán Balážik authored May 02, 2023
  
  d121cd63
- shade to green on correct answer · 4523c0b8
  Štěpán Balážik authored May 02, 2023
  
  4523c0b8
May 01, 2023
- remove sqlite dumping, dump directly to json from python files · bf1a45b0
  Štěpán Balážik authored May 01, 2023
```
run `python -m exercises.collect` to generate json for front-end
```
  bf1a45b0
- stub out chapters · 156a95f2
  Štěpán Balážik authored May 01, 2023
  
  156a95f2
- add more examples · 4150570d
  Štěpán Balážik authored May 01, 2023
  
  4150570d
- logic cleanup · 2a2dabd9
  Štěpán Balážik authored May 01, 2023
  
  2a2dabd9
Apr 20, 2023
- add buttons to filter by categories · 70cc5d8f
  Štěpán Balážik authored Apr 20, 2023
  
  70cc5d8f
- more work on examples · bd40cd0b
  Štěpán Balážik authored Apr 20, 2023
  
  bd40cd0b
Apr 16, 2023
- fix toolbox generation · 826aca1f
  Štěpán Balážik authored Apr 16, 2023
  
  826aca1f