Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Automated refinements on algorithms in Lean

Participants : Cyril Cohen, Tobias Grosser [ETH Zurich] , Utz Haus [CRAY EMEA Research Lab] , Chris Hughes [Imperial college] .

We have experimented with Applying manual and automated program refinements techniques to a simple algorithm, in Lean, with Tobias Grosser, Utz Haus and Chris Hughes, in Zürich. Experiments on this topic are available at the following address

This work also includes investigations on parametricity in Lean as visible at the following address