Skip to Content.
Sympa Menu

coq-club - [Coq-Club] not_exists_dist

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] not_exists_dist


Chronological Thread 
  • From: Jiten Pathy <jpathy AT fssrv.net>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] not_exists_dist
  • Date: Tue, 13 Jan 2015 19:29:30 -0800

Hello,
Trying to prove the following theorem from Software Foundations. A
hint to proceed?

https://gist.github.com/anonymous/42f75d0375ca8788cad6



Archive powered by MHonArc 2.6.18.

Top of Page