List archive

• Re: [Coq-Club] setoid rewriting, partial application and relfexivity, (continued)
  • Re: [Coq-Club] setoid rewriting, partial application and relfexivity, John Wiegley, 02/17/2017
    • Re: [Coq-Club] setoid rewriting, partial application and relfexivity, Vadim Zaliva, 02/18/2017
    • [Coq-Club] Question about maximum operation for universe levels in Coq, Erik Palmgren, 02/21/2017
    • Re: [Coq-Club] Question about maximum operation for universe levels in Coq, Bas Spitters, 02/22/2017
• [Coq-Club] VSTTE 2017 - First Call for Papers, Andrei Paskevich, 02/17/2017
• [Coq-Club] CALL FOR PAPERS - GraMSec 2017, Harley D. Eades III, 02/17/2017
• [Coq-Club] DICE-FOPARA 2017: Deadline Extended, Georg Moser, 02/20/2017
• [Coq-Club] TAP 2017: Extended Deadlines, Alain Giorgetti, 02/21/2017
• Re: [Coq-Club] Computers special issue - Formal Integrated Development Environments - CANCELLED, dubois, 02/21/2017
• [Coq-Club] TYPES 2017 2nd call for contributions, Ambrus Kaposi, 02/21/2017
• [Coq-Club] CFP Thedu 2017, Burkhart Wolff, 02/22/2017
• [Coq-Club] Formalization of Geometry, Automated and Interactive Geometric Reasoning, Geoff Sutcliffe, 02/22/2017
• [Coq-Club] Halmstad Summer School on Cyber-Physical Systems 2017, Walid Gomaa, 02/23/2017
• [Coq-Club] Context menu in Proof General, Paul A. Steckler, 02/24/2017
  • Re: [Coq-Club] Context menu in Proof General, Théo Zimmermann, 02/25/2017
    • Re: [Coq-Club] Context menu in Proof General, Paul A. Steckler, 02/27/2017
• [Coq-Club] Implicit arguments/Notations, Anthony Bordg, 02/25/2017
  • Re: [Coq-Club] Implicit arguments/Notations, Emilio Jesús Gallego Arias, 02/25/2017
    • Re: [Coq-Club] Implicit arguments/Notations, Anthony Bordg, 02/25/2017
• [Coq-Club] Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017, Jeremy Avigad, 02/27/2017
• [Coq-Club] Plugin tutorial for traversing the Gallina AST, Talia Ringer, 02/27/2017
• [Coq-Club] Marktoberdorf Summer School: Call for Participation, Tobias Nipkow, 02/27/2017
• [Coq-Club] injectivity of inductive type implies False, Cristóbal Camarero Coterillo, 02/27/2017
  • Re: [Coq-Club] injectivity of inductive type implies False, Guillaume Melquiond, 02/28/2017
    • Re: [Coq-Club] injectivity of inductive type implies False, Chung-Kil Hur, 02/28/2017
• [Coq-Club] adventures in setoid_rewrite, Vadim Zaliva, 02/28/2017
  • Re: [Coq-Club] adventures in setoid_rewrite, Jason Gross, 02/28/2017
    • Re: [Coq-Club] adventures in setoid_rewrite, Vadim Zaliva, 02/28/2017

Archive powered by MHonArc 2.6.18.