Verification via Abstract Reduction

Language: Racket

Verification via Abstract Reduction

See also

To install:

   % git clone
   % 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
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