What is a Dojo?

Paul Akers and his interpreter explain the BI Group Dojo. What an excellent opportunity to learn Lean.

Leave a Reply