Subject: Ssreflect Users Discussion List
List archive
- [ssreflect] [ANN] Algebra Tactics 1.1.1 released, Kazuhiko Sakaguchi, 04/13/2023
- [ssreflect] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield, Andrei Popescu, 04/20/2023
- [ssreflect] 2023 Coq workshop call for presentations, Yves Bertot, 04/25/2023
Archive powered by MHonArc 2.6.19+.