ilyasergey / htt

Hoare Type Theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Hoare Type Theory

This repository contains the main libraries of Hoare Type Theory (HTT) for reasoning about sequential heap-manipulating programs.

Building and executing artifacts

Requirements

After installing SSReflect, make sure to have the following environment variables properly declared.

Build

make clean; make

About

Hoare Type Theory


Languages

Language:Coq 99.9%Language:Makefile 0.1%