Skip to content

Instantly share code, notes, and snippets.

@brurucy

brurucy/gust.coq

Created March 27, 2021 15:42
Show Gist options
  • Save brurucy/4c7c0166edd5f11ca8d5970680f4f2e3 to your computer and use it in GitHub Desktop.
Save brurucy/4c7c0166edd5f11ca8d5970680f4f2e3 to your computer and use it in GitHub Desktop.
Download ZIP
ghost
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment