DEDUCTEAM - 2018 - Annual activity report

DEDUCTEAM

DEDUCTEAM - 2018

Project-Team Deducteam

Team, Visitors, External Collaborators

Overall Objectives

Objectives
History

Research Program

Logical Frameworks
Interoperability and proof encyclopediae
Interactive theorem proving

Application Domains

Interoperability

Highlights of the Year

New Software and Platforms

Autotheo
CoLoR
Coqine
Dedukti
Holide
HOT
iProver Modulo
mSAT
Rainbow
Krajono
archsat
lrat2dk
ekstrakto
SizeChangeTool

New Results

$λ Π$ -calculus modulo theory
Dedukti
Theories
Interoperability
Drags
SCTL

Partnerships and Cooperations

National Initiatives
International Initiatives
Informal International Partners
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Software and Platforms

SizeChangeTool

Keywords: Rewriting systems - Proof assistant - Termination

Functional Description: A termination-checker for higher-order rewriting with dependent types. Took part in the Termination Competition 2018 ( http://termination-portal.org/wiki/Termination_Competition_2018 ) in the "Higher-Order Rewriting (union Beta)" category.

Partner: Mines ParisTech
Contact: Guillaume Genestier
URL: https://github.com/Deducteam/SizeChangeTool

Previous |

Home | Next next