Skip to content

Instantly share code, notes, and snippets.

@amutake

amutake/empty.v

Last active July 25, 2023 10:01
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 amutake/13af377b0a28800c01fcadf38ddf9b82 to your computer and use it in GitHub Desktop.
Save amutake/13af377b0a28800c01fcadf38ddf9b82 to your computer and use it in GitHub Desktop.
Download ZIP
coq
Raw
empty.v
(* コードを書く *)
Definition x := 42.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment