List archive

• Re: [Coq-Club] Why does omega try to instantiate evars (sometimes), (continued)
  • Re: [Coq-Club] Why does omega try to instantiate evars (sometimes), Frédéric Besson, 09/22/2016
  • RE: [Coq-Club] Why does omega try to instantiate evars (sometimes), Soegtrop, Michael, 09/22/2016
  • Re: [Coq-Club] Why does omega try to instantiate evars (sometimes), Jonathan Leivent, 09/22/2016
• [Coq-Club] CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages, Emilio Jesús Gallego Arias, 09/22/2016
• [Coq-Club] A new coq-project-file feature based on PG, Zhaohui Li, 09/24/2016
  • [Coq-Club] A new coq-project-file feature based on PG, Pierre Courtieu, 09/25/2016
    • Re: [Coq-Club] A new coq-project-file feature based on PG, Zhaohui Li, 09/26/2016
• [Coq-Club] Puzzle: NYC Guys, Fred Smith, 09/24/2016
  • Re: [Coq-Club] Puzzle: NYC Guys, Jean-François Dufourd, 09/27/2016
    • Re: [Coq-Club] Puzzle: NYC Guys, Fred Smith, 09/27/2016
• [Coq-Club] Professor Position at University of Chile, Éric Tanter, 09/24/2016
• [Coq-Club] are there specialists in linear algebra in the room?, Daniel de Rauglaudre, 09/25/2016
  • Re: [Coq-Club] are there specialists in linear algebra in the room?, Chris Dams, 09/25/2016
  • Re: [Coq-Club] are there specialists in linear algebra in the room?, Laurent Thery, 09/25/2016
    • Re: [Coq-Club] are there specialists in linear algebra in the room?, Daniel de Rauglaudre, 09/26/2016
      • Re: [Coq-Club] are there specialists in linear algebra in the room?, Laurent Thery, 09/26/2016
      • Re: [Coq-Club] are there specialists in linear algebra in the room?, Daniel de Rauglaudre, 09/26/2016
• [Coq-Club] A tutorial about writing Coq plugins, Zhang Hengruo, 09/27/2016
• [Coq-Club] Open Ph.D. position in Formal Methods for Information Security at ETH Zurich, Ralf Sasse, 09/27/2016
• [Coq-Club] finer control over typeclass instance refinement, Jonathan Leivent, 09/28/2016
  • Re: [Coq-Club] finer control over typeclass instance refinement, Jason Gross, 09/28/2016
    • Re: [Coq-Club] finer control over typeclass instance refinement, Jonathan Leivent, 09/28/2016
• [Coq-Club] 8.4-compatible way of efficiently stripping unused evars?, Jason Gross, 09/29/2016
• [Coq-Club] Ltac unit type, Kyle Stemen, 09/29/2016
  • Re: [Coq-Club] Ltac unit type, Jonathan Leivent, 09/29/2016
• [Coq-Club] Trying examples in formalized programming languages, Klaus Ostermann, 09/30/2016
  • Re: [Coq-Club] Trying examples in formalized programming languages, Klaus Ostermann, 09/30/2016
    • Re: [Coq-Club] Trying examples in formalized programming languages, Greg Morrisett, 09/30/2016
• [Coq-Club] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino), Ingrid Chieh Yu, 09/30/2016

Archive powered by MHonArc 2.6.18.