samth/var


Verification via Abstract Reduction

http://arxiv.org/abs/1103.1362

Language: Racket


Verification via Abstract Reduction

See also http://arxiv.org/abs/1103.1362

To install:

   % git clone http://github.com/samth/var
   % raco link var
   % raco setup var

which enables the #lang var language.

Project Statistics

Sourcerank 4
Repository Size 1.44 MB
Stars 4
Forks 1
Watchers 3
Open issues 1
Dependencies 0
Contributors 2
Tags 0
Created
Last updated
Last pushed

Top Contributors See all

David Van Horn Sam Tobin-Hochstadt

Something wrong with this page? Make a suggestion

Last synced: 2018-07-25 05:33:29 UTC

Login to resync this repository