List archive

• 19/09/03
  • [ssreflect] Occurrence switch syntax, Ian Zimmerman
  • Re: [ssreflect] Occurrence switch syntax, Enrico Tassi
• 19/09/04
  • Re: [ssreflect] Occurrence switch syntax, Ian Zimmerman
  • [ssreflect] CFP for Certified Programs and Proofs (CPP 2020), Catalin Hritcu
  • Re: [ssreflect] Occurrence switch syntax, Enrico Tassi
• 19/09/09
  • [ssreflect] fingraph and finset of pairs, Florent Hivert
• 19/09/11
  • [ssreflect] PhD defence − Damien Rouhling, Damien Rouhling
  • [ssreflect] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals, Frédéric Blanqui
• 19/09/13
  • [ssreflect] Formal power series in mathcomp, Florent Hivert
  • Re: [ssreflect] Formal power series in mathcomp, Cyril
  • Re: [ssreflect] fingraph and finset of pairs, Emilio Jesús Gallego Arias
• 19/09/14
  • Re: [ssreflect] fingraph and finset of pairs, Florent Hivert
• 19/09/19
  • [ssreflect] Generic instances, Arthur Azevedo de Amorim
  • Re: [ssreflect] Generic instances, Christian Doczkal
• 19/09/20
  • [ssreflect] strange error message, Ian Zimmerman
  • Re: [ssreflect] strange error message, Laurent Thery
  • Re: [ssreflect] Generic instances, Enrico Tassi
• 19/09/21
  • Re: [ssreflect] strange error message, Ian Zimmerman
  • [ssreflect] ssreflect chapter of coq manual: "defective" tactics?, Ian Zimmerman
• 19/09/23
  • [ssreflect] Why is _this_ not first order?, Ian Zimmerman
  • [ssreflect] Adding ring tactic to integers, Benjamin Salling Hvass
  • Re: [ssreflect] Adding ring tactic to integers, Erik Martin-Dorel
• 19/09/24
  • Re: [ssreflect] Adding ring tactic to integers, Bas Spitters
• 19/09/25
  • Re: [ssreflect] strange error message, Ian Zimmerman
• 19/09/26
  • [ssreflect] Dependent cast 'Z_p -> 'F_p, Florent Hivert
  • Re: [ssreflect] Dependent cast 'Z_p -> 'F_p, Laurent Thery
  • Re: [ssreflect] Dependent cast 'Z_p -> 'F_p, georges gonthier
  • Re: [ssreflect] Dependent cast 'Z_p -> 'F_p, Florent Hivert
  • Re: [ssreflect] Dependent cast 'Z_p -> 'F_p, Laurent Thery
  • Re: [ssreflect] Dependent cast 'Z_p -> 'F_p, georges gonthier

Archive powered by MHonArc 2.6.18.