Add BTA6 from my branch
Copy BTA6 with correctness proof from my repo