MaximilianAlgehed / Multef

Multi-Execution Framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Multi-Execution Framework


Languages

Language:Coq 69.8%Language:Haskell 27.6%Language:Isabelle 1.5%Language:Shell 1.1%