Lancelot de Ferriere

Lancelot de Ferriere has worked with Hyle.

1 talk by Lancelot de Ferriere

• ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere