Giters

h0nzZik / kaipy

An Abstract Interpreter for the K framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

An Abstract Interpreter for the K framework

License:GNU General Public License v3.0

Languages

Language:Python 98.8%Language:Nix 0.7%Language:Makefile 0.5%Language:Shell 0.0%