Mayer Goldberg

Mayer Goldberg has asked 19 questions and find answers to 5 problems.

Stats

About

Mayer Goldberg questions

pathnames in Common Lisp, filenames with wildcards in them
how to name the assumption when remembering an expression?
orgmode, referring to an item in a numbered list
How can I prove propositional extensionality in Coq?
Unicode glyphs for keywords and operators in Coq/Proof General under Emacs
existential instantiation and generalization in coq
Error: Reference to undefined global `Num'
how to load a file in fundamental mode in emacs
Error in defining Ackermann in Coq

Mayer Goldberg answers

How can I prove propositional extensionality in Coq?
Running Python script from IDLE on Windows 7 64 bit