Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club]program extraction in Java?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club]program extraction in Java?


chronological Thread 
  • From: Thery Laurent <thery AT ns.di.univaq.it>
  • To: coq-club AT pauillac.inria.fr
  • Subject: Re: [Coq-Club]program extraction in Java?
  • Date: Thu, 19 Oct 2006 19:01:37 +0200 (CEST)
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>


Virgile Prevosto had an extraction in Java back in 98.

--
Laurent Théry




Archive powered by MhonArc 2.6.16.

Top of Page