Difference between revisions of "Resources"

From Cardano Wiki
Jump to: navigation, search
Line 26: Line 26:
  
 
*[https://github.com/kframework K Framework Github]
 
*[https://github.com/kframework K Framework Github]
 +
 +
*[https://runtimeverification.com/blog/?p=672 K FrameWork Presentation]
  
 
*[https://gitter.im/runtimeverification/iele-semantics IELE Semantics Gitter]
 
*[https://gitter.im/runtimeverification/iele-semantics IELE Semantics Gitter]
  
 
*[https://runtimeverification.com/blog/?p=498 IELE VM Presentation]
 
*[https://runtimeverification.com/blog/?p=498 IELE VM Presentation]

Revision as of 12:22, 6 March 2018