Commits · main · Max Ole Elliger / Languages

May 29, 2023
- Update README.md · 11c5180b
  Max Ole Elliger authored 1 year ago
  
  11c5180b
May 20, 2023
- Stated CFG's · 3a0b5846
  Max Ole Elliger authored 1 year ago
  
  3a0b5846
- added just_chars,just_vars and so on · ddf3683b
  Max Ole Elliger authored 1 year ago
  
  ddf3683b
May 19, 2023
- Proof of TnFn, almost done, 3 admits left, all annoying · e3a9869a
  Max Ole Elliger authored 1 year ago
  
  e3a9869a
- added convert_inj · 99efb227
  Max Ole Elliger authored 1 year ago
  
  99efb227
- more Grammar-Helpers · 44a3b53e
  Max Ole Elliger authored 1 year ago
  
  44a3b53e
- added more helper lemmas · f1afe0fe
  Max Ole Elliger authored 1 year ago
  
  f1afe0fe
- added proof of derive_step · d5fcb677
  Max Ole Elliger authored 1 year ago
  
  d5fcb677
- added LICENSE · b70b3a01
  Max Ole Elliger authored 1 year ago
  
  b70b3a01
- init commit, first work · 288e30be
  Max Ole Elliger authored 1 year ago
  
  288e30be
- Initial commit · 1568b71c
  Max Ole Elliger authored 1 year ago
  
  1568b71c