search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Merge working tool chain #2

Closed Twigonometry closed 2 years ago

Twigonometry commented 2 years ago

Working PoC for tool chain. Some features unfinished.