Skip to content
This repository has been archived by the owner on Aug 26, 2021. It is now read-only.

ftsrg-edu/logic-workshop

Repository files navigation

Szakterület-specifikus nyelvek és logika demó

Célok

  • logikai feladványok megoldása
  • solverek bemutatása
  • szakterület-specifikus nyelv készítése Xtexttel
  • transzformáció készítése Xtenddel

Követelemények

Prezentáció

Madoko prezentáció

About

Logic and DSL demo for students

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •