List archive

• [ssreflect] field / algebra of a field, Florent Hivert, 10/06/2019
• [ssreflect] CoqPL 2020: Call for Presentations (deadline October, 23), Robbert Krebbers, 10/11/2019
• [ssreflect] Postdoc positions in CertiChain project, Sergey, Ilya, 10/11/2019
• [ssreflect] Rewriting by target term, Giovanni Mascellani, 10/16/2019
  • Re: [ssreflect] Rewriting by target term, Anton Trunov, 10/16/2019
  • Re: [ssreflect] Rewriting by target term, Laurent Thery, 10/17/2019
• [ssreflect] Open CfP: TYPES 2019 post-proceedings, Assia Mahboubi, 10/17/2019
• [ssreflect] Shape of equations [Was: Ssreflect list, WTH?], Ian Zimmerman, 10/20/2019
  • Re: [ssreflect] Shape of equations [Was: Ssreflect list, WTH?], Giovanni Mascellani, 10/21/2019
    • Re: [ssreflect] Shape of equations, Ian Zimmerman, 10/22/2019
• [ssreflect] algebras and module over two base ring, Florent Hivert, 10/23/2019
  • Re: [ssreflect] algebras and module over two base ring, Cyril Cohen, 10/23/2019
• [ssreflect] Why does this rewrite fail?, Ian Zimmerman, 10/24/2019
  • Re: [ssreflect] Why does this rewrite fail?, Yves Bertot, 10/24/2019
    • Re: [ssreflect] Why does this rewrite fail?, Erik Martin-Dorel, 10/24/2019
      • Re: [ssreflect] Why does this rewrite fail?, Ian Zimmerman, 10/25/2019
• [ssreflect] CoqPL 2020: Deadline extended to 27 Oct, Robbert Krebbers, 10/24/2019
• [ssreflect] Formal Methods in Mathematics / Lean Together 2020, Jeremy Avigad, 10/31/2019
• [ssreflect] Commutative and Unitary algebras..., Florent Hivert, 10/31/2019

Archive powered by MHonArc 2.6.18.