Skip to content

Instantly share code, notes, and snippets.

@tel

tel/StackMachine.v

Created November 21, 2012 20:14
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save tel/4127360 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save tel/4127360 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
StackMachine.v
Require Import Bool Ari
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment