PI.R2 - 2018 - Annual activity report

PI.R2

PI.R2 - 2018

Project-Team Pi.r2

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Proof theory and the Curry-Howard correspondence
The development of Coq
Dependently typed programming languages
Around and beyond the Curry-Howard correspondence
Effective higher-dimensional algebra

Highlights of the Year

New Software and Platforms

Coq
Equations
Rewr
Catex
Cox

New Results

Effects in proof theory and programming
Reasoning and programming with infinite data
Effective higher-dimensional algebra
Incrementality
Metatheory and development of Coq
Formalisation and verification

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularisation

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Software and Platforms

Catex

Keywords: LaTeX - String diagram - Algebra

Functional Description: Catex is a Latex package and an external tool to typeset string diagrams easily from their algebraic expression. Catex works similarly to Bibtex.

News Of The Year: It is now possible to add labels to objects and morphisms

Participant: Yves Guiraud
Contact: Yves Guiraud
URL: https://www.irif.fr/~guiraud/catex/catex.zip

Previous |

Home | Next next