1.4.2021: The Partout team has 3 papers in LICS 2021.
1.2.2021: The Partout Seminar has joined with the AlCo and Cosynus Seminars to form the Proofs and Algorithms Seminar of LIX.
1.1.2020: Noam Zeilberger joins the team.
12.12.2019: The team Partout is officialy created.
