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