Julien Leblay

• Generating Plans from Proofs
• Le tao Du Velo