https://github.com/samth/var

Verification via Abstract Reduction
https://github.com/samth/var

Last synced: 4 months ago
JSON representation

Verification via Abstract Reduction

• Host: GitHub
• URL: https://github.com/samth/var
• Owner: samth
• Created: 2011-05-12T22:57:01.000Z (about 15 years ago)
• Default Branch: master
• Last Pushed: 2013-02-04T20:12:04.000Z (over 13 years ago)
• Last Synced: 2025-10-10T13:38:26.063Z (8 months ago)
• Language: Racket
• Homepage: http://arxiv.org/abs/1103.1362
• Size: 1.44 MB
• Stars: 5
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
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.