iron

Last updated: 2016-02-19 14:45:37 +0000

Upstream URL: git clone http://chriswarbo.net/git/iron.git

Repo

View repository

View issue tracker

Contents of follows

Proofs that are "done" have at least Progress and Preservation theorems.