Skip to content

Instantly share code, notes, and snippets.

@ayu-mushi

ayu-mushi/coq5.v

Created May 22, 2019 01:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ayu-mushi/73238b4e4e6dba02a075da1f25d40e84 to your computer and use it in GitHub Desktop.
Save ayu-mushi/73238b4e4e6dba02a075da1f25d40e84 to your computer and use it in GitHub Desktop.
Download ZIP
Coq練習問題(5)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment