graph-grammars topic

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

breandan

Software specification and verification system based on graph rewriting

Verites